research
∙
08/28/2023
Shielded Reinforcement Learning for Hybrid Systems
Safe and optimal controller synthesis for switched-controlled hybrid sys...
share
research
∙
07/21/2020
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
We address the safety verification and synthesis problems for real-time ...
research
∙
06/30/2020
It's Time to Play Safe: Shield Synthesis for Timed Systems
Erroneous behaviour in safety critical real-time systems may inflict ser...
research
∙
06/26/2020
Approximating Euclidean by Imprecise Markov Decision Processes
Euclidean Markov decision processes are a powerful tool for modeling con...
research
∙
12/20/2019