Constrained existence problem for weak subgame perfect equilibria with -regular Boolean objectives
From MaRDI portal
Publication:3384875
Authors: Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin 
Publication date: 17 December 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.2
Recommendations
- Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives
- Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games
- On the existence of weak subgame perfect equilibria
- On the existence of weak subgame perfect equilibria
- scientific article; zbMATH DE number 6767615
Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Equilibrium points in n -person games
- Game theory
- Perfect-information games with lower-semicontinuous payoffs
- Parameterized complexity of games with monotonically ordered \(\omega\)-regular objectives
- Automata, logics, and infinite games. A guide to current research
- Pure Nash equilibria in concurrent deterministic games
- Synthesis with rational environments
- Rational synthesis
- On the synthesis of strategies in infinite games
- Subgame perfection for equilibria in quantitative reachability games
- Games with secure equilibria
- Modalities for model checking: Branching time logic strikes back
- Secure equilibria in weighted games
- Generalized Parity Games
- Admissibility in Infinite Games
- The complexity of admissibility in omega-regular games
- Assume-admissible synthesis
- Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
- Computer aided synthesis: a game-theoretic approach
- Solution concepts and algorithms for infinite multiplayer games
- Title not available (Why is that?)
- Non-zero sum games for reactive synthesis
- On the existence of weak subgame perfect equilibria
- The Complexity of Nash Equilibria in Infinite Multiplayer Games
Cited In (6)
- A game-theoretic approach for the synthesis of complex systems
- On subgame perfect equilibria in turn-based reachability timed games
- A Note on Game Theory and Verification
- Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games
- Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives
- Title not available (Why is that?)
This page was built for publication: Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384875)
