@misc{indiciaeabfc33673878,
  title = {TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments},
  author = {Stefan Pranger and Bettina Könighofer and Lukas Posch and Roderick Bloem},
  year = {2021},
  url = {https://arxiv.org/abs/2105.12588},
  note = {Source identifier: 2105.12588}
}