@misc{indiciae8fe8ec083688,
  title = {Safety and Liveness of Quantitative Properties and Automata},
  author = {Udi Boker and Thomas A. Henzinger and Nicolas Mazzocchi and N. Ege Saraç},
  year = {2025},
  doi = {10.46298/lmcs-21(2:2)2025},
  url = {https://arxiv.org/abs/2307.06016},
  note = {Source identifier: 2307.06016}
}