Similar Items: On the decidability and complexity of Metric Temporal Logic over finite words
- Decidability for Sturmian words
- On the Expressiveness and Monitoring of Metric Temporal Logic
- The complexity of linear-time temporal logic over the class of ordinals
- First-Order and Temporal Logics for Nested Words
- On the Metric Temporal Logic for Continuous Stochastic Processes
- Online Monitoring of Metric Temporal Logic using Sequential Networks