Pages that link to "Item:Q391106"
From MaRDI portal
The following pages link to Optimal bounds in parametric LTL games (Q391106):
Displaying 15 items.
- Parametric metric interval temporal logic (Q483304) (← links)
- Parametric linear dynamic logic (Q515660) (← links)
- On relation between linear temporal logic and quantum finite automata (Q783667) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Parameterized linear temporal logics meet costs: still not costlier than LTL (Q2413483) (← links)
- Robust, expressive, and quantitative linear temporal logics: pick any two for free (Q2672232) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- Delay Games with WMSO+U Winning Conditions (Q2953690) (← links)
- Delay Games with WMSO$$+$$U Winning Conditions (Q3194731) (← links)
- (Q5013884) (← links)
- (Q5015281) (← links)
- (Q5015286) (← links)
- (Q5020519) (← links)
- (Q5021006) (← links)
- Markov chains and unambiguous automata (Q6098148) (← links)
