research
∙
03/30/2023
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]
We introduce an adaptive refinement procedure for smart, and scalable ab...
share
research
∙
01/04/2023
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
Controllers for dynamical systems that operate in safety-critical settin...
research
∙
12/01/2022
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Automated synthesis of provably correct controllers for cyber-physical s...
research
∙
10/12/2022
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
Capturing uncertainty in models of complex dynamical systems is crucial ...
research
∙
09/30/2022
