Pages that link to "Item:Q673880"
From MaRDI portal
The following pages link to Metric temporal logic with durations (Q673880):
Displaying 9 items.
- Metric temporal logic revisited (Q266865) (← links)
- Temporal semantics for concurrent METATEM (Q679336) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- Temporal Logic as Filtering (Q2988956) (← 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)
- (Q5190775) (← links)