Pages that link to "Item:Q3564866"
From MaRDI portal
The following pages link to Parametric Metric Interval Temporal Logic (Q3564866):
Displaying 5 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Optimal bounds in parametric LTL games (Q391106) (← links)
- Parametric metric interval temporal logic (Q483304) (← links)
- Decision problems for lower/upper bound parametric timed automata (Q1041291) (← links)
- Some results on parametric temporal logic (Q1944185) (← links)