Fingerprint
Untersuchen Sie die Forschungsthemen von „It's Time to Play Safe: Shield Synthesis for Timed Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
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
Publikation: Arbeitspapier › Preprint