The following pages link to (Q5875382):
Displaying 9 items.
- Energy, fairness, and a counterexample (Q913436) (← links)
- Energy parity games (Q1758152) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- Energy and Mean-Payoff Parity Markov Decision Processes (Q3088040) (← links)
- (Q5028465) (← links)
- (Q5089289) (← links)
- (Q6134270) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)
- Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions (Q6647764) (← links)