The following pages link to Games through Nested Fixpoints (Q3636869):
Displaying 8 items.
- Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games (Q520343) (← links)
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- Average-energy games (Q2413482) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- (Q5013874) (← links)
- (Q5141616) (← links)
- (Q5875369) (← links)
