Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata

Open Webpage

Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi, Jyotirmoy V. Deshmukh

Published: 01 Jan 2025, Last Modified: 21 Aug 2025HSCC 2025EveryoneRevisionsBibTeXCC BY-SA 4.0