The following pages link to Infinite-state energy games (Q4635588):
Displaying 6 items.
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States (Q5089288) (← links)
- (Q5089314) (← links)
- (Q5875382) (← links)
- Long-Run Average Behavior of Vector Addition Systems with States (Q5875389) (← links)
- Church synthesis on register automata over linearly ordered data domains (Q6151760) (← links)
