Predicate Monitoring in Distributed Cyber-Physical Systems.

Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour

Browse the full RV paper archive.