TY  - RPRT
TI  - Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
AU  - Anand Balakrishnan
AU  - Sheryl Paul
AU  - Simone Silvetti
AU  - Laura Nenzi
AU  - Jyotirmoy V. Deshmukh
PY  - 2025
DO  - 10.1145/3716863.3718033
UR  - https://arxiv.org/abs/2503.21906
ID  - 2503.21906
ER  -