The following pages link to Energy Parity Games (Q3587471):
Displayed 15 items.
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Synthesizing robust systems (Q2249662) (← links)
- Average-energy games (Q2413482) (← links)
- Parameterized linear temporal logics meet costs: still not costlier than LTL (Q2413483) (← links)
- Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- On Memoryless Quantitative Objectives (Q3088278) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)
- (Q5005142) (← links)
- (Q5013874) (← links)
- (Q5013884) (← links)
- (Q5101346) (← links)
- (Q5111253) (← links)
- Efficient Analysis of Probabilistic Programs with an Unbounded Counter (Q5501946) (← links)