TY  - RPRT
TI  - TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
AU  - Stefan Pranger
AU  - Bettina Könighofer
AU  - Lukas Posch
AU  - Roderick Bloem
PY  - 2021
UR  - https://arxiv.org/abs/2105.12588
ID  - 2105.12588
ER  -