TY  - RPRT
TI  - It's Time to Play Safe: Shield Synthesis for Timed Systems
AU  - Roderick Bloem
AU  - Peter Gjøl Jensen
AU  - Bettina Könighofer
AU  - Kim Guldstrand Larsen
AU  - Florian Lorber
AU  - Alexander Palmisano
PY  - 2020
UR  - https://arxiv.org/abs/2006.16688
ID  - 2006.16688
ER  -