Similar Items: Expressiveness of Metric modalities for continuous time
- On the Metric Temporal Logic for Continuous Stochastic Processes
- On the Expressiveness and Monitoring of Metric Temporal Logic
- An expressive completeness theorem for coalgebraic modal mu-calculi
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
- Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
- The Church Synthesis Problem over Continuous Time