research
∙
08/28/2023
Shielded Reinforcement Learning for Hybrid Systems
Safe and optimal controller synthesis for switched-controlled hybrid sys...
share
research
∙
02/09/2023
Timed I/O Automata: It is never too late to complete your timed specification theory
A specification theory combines notions of specifications and implementa...
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
∙
02/11/2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
This report presents the activities of the first working group of the CO...
research
∙
09/10/2018
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
Model checking of real-time systems has evolved throughout the years. Re...
research
∙
08/23/2018