The following pages link to Metric temporal logic revisited (Q266865):
Displaying 17 items.
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Metric temporal logic with durations (Q673880) (← links)
- HRELTL: a temporal logic for hybrid systems (Q897648) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Metric temporal description logics with interval-rigid names (Q1687541) (← links)
- Metric temporal reasoning with less than two clocks (Q2901203) (← links)
- A theory of sampling for continuous-time metric temporal logic (Q2946625) (← links)
- On Process-Algebraic Extensions of Metric Temporal Logic (Q3163409) (← links)
- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling (Q3511237) (← links)
- Parametric Metric Interval Temporal Logic (Q3564866) (← links)
- On metric temporal description logics (Q4576218) (← links)
- On Metric Temporal Łukasiewicz Logic (Q4982626) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)
- Metric Temporal Description Logics with Interval-Rigid Names (Q5121281) (← links)
- (Q5190775) (← links)
- A time-model invariant fragment of metric temporal logic (Q5224784) (← links)
- (Q5376664) (← links)