Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Oliver Schön
Follow
Activity
Upvotes
Folders
Articles
7
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
15 July 2024 by
Oliver Schön
and
others
Logic in Computer Science
,
Formal Languages and Automata Theory
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
15 March 2024 by
Oliver Schön
and
others
at
Imperial College London
Systems and Control
,
Machine Learning
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
12 February 2024 by
Oliver Schön
and
others
Systems and Control
,
Logic in Computer Science
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems
3 September 2023 by
Oliver Schön
and
others
Systems and Control
,
Logic in Computer Science
SySCoRe: Synthesis via Stochastic Coupling Relations
23 February 2023 by
Birgit Van Huijgevoort
and
others
Systems and Control
Correct-by-Design Control of Parametric Stochastic Systems
15 October 2022 by
Oliver Schön
and
others
Systems and Control
,
Logic in Computer Science
Multi-Objective Physics-Guided Recurrent Neural Networks for Identifying Non-Autonomous Dynamical Systems
27 April 2022 by
Oliver Schön
and
others
Systems and Control
,
Machine Learning
Tensor-Multi-Scalar Gravity: Equations of Motion to 2.5 post-Newtonian Order
20 December 2021 by
Oliver Schön
and
Daniela Doneva
General Relativity and Quantum Cosmology
This is an AI-generated summary
Key points
Topics
Systems and Control
Logic in Computer Science
Machine Learning
Symbolic Computation
General Relativity and Quantum Cosmology
