The following pages link to Average-energy games (Q2413482):
Displaying 21 items.
- On convergence of infinite matrix products with alternating factors from two sets of matrices (Q1727306) (← links)
- Energy parity games (Q1758152) (← links)
- Average-energy games (Q2413482) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Generalized mean-payoff and energy games (Q2908881) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- (Q3384874) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- (Q5005142) (← links)
- (Q5021006) (← links)
- (Q5089289) (← links)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (Q5090979) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- Bidirectional nested weighted automata (Q5111617) (← links)
- Average Stack Cost of Büchi Pushdown Automata (Q5136334) (← links)
- (Q5875382) (← links)
- Long-Run Average Behavior of Vector Addition Systems with States (Q5875389) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897954) (← 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)