Similar Items: Online Monitoring of Metric Temporal Logic using Sequential Networks
- On the Expressiveness and Monitoring of Metric Temporal Logic
- On the Metric Temporal Logic for Continuous Stochastic Processes
- On the decidability and complexity of Metric Temporal Logic over finite words
- Logical Concurrency Control from Sequential Proofs
- The intuitionistic temporal logic of dynamical systems
- A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems