scientific article; zbMATH DE number 7447731
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
Title of this publication is not available (Why is that?)
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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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 (7)
- 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?)
- On relevant equilibria in reachability games
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 Q3384875)
