research
∙
08/28/2023
Shielded Reinforcement Learning for Hybrid Systems
Safe and optimal controller synthesis for switched-controlled hybrid sys...
share
research
∙
06/29/2022
Monitoring Timed Properties (Revisited)
In this paper we revisit monitoring real-time systems with respect to pr...
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
Stubborn Set Reduction for Two-Player Reachability Games
Partial order reductions have been successfully applied to model checkin...
research
∙
06/25/2019
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
For hybrid Markov decision processes, UPPAAL Stratego can compute strate...
research
∙
08/23/2018