Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata

Open in new window