@article{specificationguidedtemporallogiccontrol,
  title = {Specification-guided temporal logic control for stochastic systems: a multi-layered approach},
  author = {Birgit C. van Huijgevoort and Ruohan Wang and Sadegh Soudjani and Sofie Haesaert},
  year = {2024},
  eprint = {2407.03896},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2407.03896v1},
}