Fingerprint
Dive into the research topics of 'It's Time to Play Safe: Shield Synthesis for Timed Systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
It's Time to Play Safe: Shield Synthesis for Timed Systems
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Matteo Palmisano
Research output: Working paper › Preprint