research
∙
07/07/2023
Neural Abstraction-Based Controller Synthesis and Deployment
Abstraction-based techniques are an attractive approach for synthesizing...
share
research
∙
04/26/2022
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems
We study fundamental reachability problems on pseudo-orbits of linear dy...
research
∙
06/09/2020
On Decidability of Time-bounded Reachability in CTMDPs
We consider the time-bounded reachability problem for continuous-time Ma...
research
∙
01/21/2019