scientific article; zbMATH DE number 7447732
From MaRDI portal
Publication:3384876
Recommendations
- Parity games and automata for game logic
- Parameterized Algorithms for Parity Games
- On a class of finite automata games
- The parameterized complexity of positional games
- scientific article; zbMATH DE number 5954365
- Reachability games and parity games
- Alternating Tree Automata and Parity Games
- On Determinisation of Good-for-Games Automata
- Automata and compositional strategies in extensive form games
Cites work
- scientific article; zbMATH DE number 6862070 (Why is no real title available?)
- A short proof of Sperner's lemma
- Admissibility in Infinite Games
- Admissible strategies in timed games
- Admissiblity in concurrent games
- Assume-admissible synthesis
- Borel determinacy
- Deciding parity games in quasipolynomial time
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Deterministic one-counter automata
- Fixed Point Logics
- Fixed-dimensional energy games are in pseudo-polynomial time
- Generalized mean-payoff and energy games
- Logic and regular cost functions
- Manipulation of Voting Schemes: A General Result
- Monotone Boolean functions
- On Büchi one-counter automata
- On limit cycles of monotone functions with symmetric connection graph
- The Descriptive Complexity of Parity Games
- The complexity of admissibility in omega-regular games
Cited in
(5)
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 Q3384876)
