scientific article; zbMATH DE number 7447732
From MaRDI portal
Publication:3384876
Authors: Arno Pauly 
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1809.03093
Title of this publication is not available (Why is that?)
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
Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Borel determinacy
- Monotone Boolean functions
- Manipulation of Voting Schemes: A General Result
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Generalized mean-payoff and energy games
- Fixed-dimensional energy games are in pseudo-polynomial time
- A short proof of Sperner's lemma
- On limit cycles of monotone functions with symmetric connection graph
- Admissibility in Infinite Games
- The complexity of admissibility in omega-regular games
- Assume-admissible synthesis
- Deterministic one-counter automata
- The Descriptive Complexity of Parity Games
- Fixed Point Logics
- On Büchi one-counter automata
- Deciding parity games in quasipolynomial time
- Title not available (Why is that?)
- Admissiblity in concurrent games
- Admissible strategies in timed games
- Logic and regular cost functions
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)
