most citedA Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

24 citations · 24 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2021★ 24 cited

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

L. Nenzi, E. Bartocci, L. Bortolussi +1

Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational elements are networked…