Monitoring Cyber-Physical Systems
Scalable Offline Monitoring