@misc{indiciae429068d6d87e,
  title = {Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata},
  author = {Anand Balakrishnan and Sheryl Paul and Simone Silvetti and Laura Nenzi and Jyotirmoy V. Deshmukh},
  year = {2025},
  doi = {10.1145/3716863.3718033},
  url = {https://arxiv.org/abs/2503.21906},
  note = {Source identifier: 2503.21906}
}