scientific article; zbMATH DE number 1096547
From MaRDI portal
Publication:4372463
Recommendations
- Computer Aided Verification
- On the synthesis of strategies in infinite games
- scientific article; zbMATH DE number 1956593
- Modular strategies for recursive game graphs
- Optimizing Winning Strategies in Regular Infinite Games
- Winning strategies for infinite games: from large cardinals to computer science extended abstract
- scientific article; zbMATH DE number 2077117
- Playing with mixed strategies on infinite sets
Cited in
(11)- Exhausting strategies, joker games and full completeness for IMLL with unit
- Playing with mixed strategies on infinite sets
- Automata and compositional strategies in extensive form games
- Winning an infinite combination of games
- Memory Reduction for Strategies in Infinite Games
- What kind of memory is needed to win infinitary Muller games?
- On the synthesis of strategies in infinite games
- Down the Borel hierarchy: solving Muller games via safety games
- Learning of winning strategies for terminal games with linear-size memory
- Strategy composition in compositional games
- Computer Aided Verification
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372463)
