Similar Items: On the Expressiveness and Monitoring of Metric Temporal Logic
- Online Monitoring of Metric Temporal Logic using Sequential Networks
- On the Metric Temporal Logic for Continuous Stochastic Processes
- On the decidability and complexity of Metric Temporal Logic over finite words
- Expressiveness of Metric modalities for continuous time
- On the Expressiveness of the Ambient Logic
- The intuitionistic temporal logic of dynamical systems