Doomsday equilibria for omega-regular games

DOI10.1016/j.ic.2016.10.012zbMath1370.68164arXiv1311.3238OpenAlexW2548450637MaRDI QIDQ528193

Emmanuel Filiot, Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen

Publication date: 12 May 2017

Published in: Lecture Notes in Computer Science, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.3238

Mathematics Subject Classification ID

Games involving graphs (91A43) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Reasoning About Strategies, Reasoning about Quality and Fuzziness of Strategic Behaviors, On the Existence of Weak Subgame Perfect Equilibria, On the existence of weak subgame perfect equilibria, Reactive synthesis without regret, Assume-admissible synthesis, A game-theoretic approach for the synthesis of complex systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Antichains and compositional algorithms for LTL synthesis
• Games with secure equilibria
• Observations on determinization of Büchi automata
• Formal analysis of multiparty contract signing
• Strategy logic
• Number of quantifiers is better than number of tape cells
• Borel determinacy
• Automata, logics, and infinite games. A guide to current research
• What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
• A Temporal Logic for the Interaction of Strategies
• The Complexity of Nash Equilibria in Stochastic Multiplayer Games
• Alternating-time temporal logic
• Bounded Synthesis
• Rational Synthesis
• An Antichain Algorithm for LTL Realizability
• Supervisory Control of a Class of Discrete Event Processes
• Deterministic generators and games for Ltl fragments
• Algorithms for Omega-Regular Games with Imperfect Information
• From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
• Definability in the monadic second-order theory of successor
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Generalized Parity Games
• Equilibrium points in n -person games
• Stochastic Games
• CONCUR 2003 - Concurrency Theory