Constrained existence problem for weak subgame perfect equilibria with -regular Boolean objectives

MaRDI QIDQ3384875zbMATH OpenFDO

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

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

Cites work

• scientific article; zbMATH DE number 6767615 (Why is no real title available?)
• Admissibility in Infinite Games
• Assume-admissible synthesis
• Automata, logics, and infinite games. A guide to current research
• Computer aided synthesis: a game-theoretic approach
• Equilibrium points in n -person games
• Game theory
• Games with secure equilibria
• Generalized Parity Games
• Modalities for model checking: Branching time logic strikes back
• Non-zero sum games for reactive synthesis
• On the existence of weak subgame perfect equilibria
• On the synthesis of strategies in infinite games
• Parameterized complexity of games with monotonically ordered \(\omega\)-regular objectives
• Perfect-information games with lower-semicontinuous payoffs
• Pure Nash equilibria in concurrent deterministic games
• Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
• Rational synthesis
• Secure equilibria in weighted games
• Solution concepts and algorithms for infinite multiplayer games
• Subgame perfection for equilibria in quantitative reachability games
• Synthesis with rational environments
• The Complexity of Nash Equilibria in Infinite Multiplayer Games
• The complexity of admissibility in omega-regular games

Cited in

(6)

• Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games
• scientific article; zbMATH DE number 7649921 (Why is no real title available?)
• Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives
• A Note on Game Theory and Verification
• A game-theoretic approach for the synthesis of complex systems
• On subgame perfect equilibria in turn-based reachability timed games

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)