The following pages link to (Q5376664):
Displaying 19 items.
- Metric temporal logic with durations (Q673880) (← links)
- A logical characterization of timed regular languages (Q728264) (← links)
- Monitoring temporal logic with clock variables (Q1631217) (← links)
- Combining the temporal and epistemic dimensions for MTL monitoring (Q1683450) (← links)
- Algebraic quantitative semantics for efficient online temporal monitoring (Q2044210) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- Robust online monitoring of signal temporal logic (Q2402548) (← links)
- When is metric temporal logic expressively complete? (Q2958534) (← links)
- Temporal Logic as Filtering (Q2988956) (← links)
- On Process-Algebraic Extensions of Metric Temporal Logic (Q3163409) (← links)
- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling (Q3511237) (← links)
- On metric temporal description logics (Q4576218) (← links)
- Weight monitoring with linear temporal logic (Q4635594) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)
- Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Q5100739) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- (Q5190775) (← links)
- Expressive Completeness for Metric Temporal Logic (Q5271072) (← links)
- On the decidability and complexity of Metric Temporal Logic over finite words (Q5310684) (← links)