2 papers
cs.LO2021
TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Stefan Pranger, Bettina Könighofer, Lukas Posch +1
We present Tempest, a synthesis tool to automatically create correct-by-construction reactive systems and shields from qualitative or quantitative specifications in probabilistic e…
cs.LO2020
Adaptive Shielding under Uncertainty
Stefan Pranger, Bettina Könighofer, Martin Tappler +3
This paper targets control problems that exhibit specific safety and performance requirements. In particular, the aim is to ensure that an agent, operating under uncertainty, will…