research
∙
12/04/2022
Automata Learning meets Shielding
Safety is still one of the major research challenges in reinforcement le...
share
research
∙
05/26/2021
TEMPEST – Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
We present Tempest, a synthesis tool to automatically create correct-by-...
research
∙
10/08/2020
