Similar Items: On the Metric Temporal Logic for Continuous Stochastic Processes
- On the Expressiveness and Monitoring of Metric Temporal Logic
- Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
- On the decidability and complexity of Metric Temporal Logic over finite words
- Online Monitoring of Metric Temporal Logic using Sequential Networks
- Learning and Designing Stochastic Processes from Logical Constraints
- Expressiveness of Metric modalities for continuous time