A Note on Game Theory and Verification

DOI10.1007/978-3-030-31784-3_1zbMath1437.68113OpenAlexW2981674032MaRDI QIDQ3297580

Patricia Bouyer

Publication date: 20 July 2020

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31784-3_1

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Games with secure equilibria
• New complexity results about Nash equilibria
• Stay-in-a-set games
• Games on graphs with a public signal monitoring
• Automata, logics, and infinite games. A guide to current research
• Robust Equilibria in Mean-Payoff Games
• Nash Equilibria in Concurrent Games with Büchi Objectives
• Pure Nash Equilibria in Concurrent Deterministic Games
• Mixed Nash Equilibria in Concurrent Terminal-Reward Games
• On the Existence of Weak Subgame Perfect Equilibria
• The Complexity of Nash Equilibria in Limit-Average Games
• Alternating-time temporal logic
• On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
• Partial-Observation Stochastic Games
• Computer Science Logic
• Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
• Game Theory
• The Complexity of Nash Equilibria in Infinite Multiplayer Games
• Equilibrium points in n -person games

This page was built for publication: A Note on Game Theory and Verification