@misc{indiciae3cac412c6d2d,
  title = {AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)},
  author = {Sasinee Pruekprasert and Clovis Eberhart},
  year = {2025},
  url = {https://arxiv.org/abs/2509.08343},
  note = {Source identifier: 2509.08343}
}