From model checking to equilibrium checking: reactive modules for rational verification
From MaRDI portal
Publication:2407463
DOI10.1016/J.ARTINT.2017.04.003zbMATH Open1420.68129OpenAlexW2606396104MaRDI QIDQ2407463FDOQ2407463
Authors: Julian Gutiérrez, Paul Harrenstein, M. J. Wooldridge 
Publication date: 29 September 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:6fcb8f35-727d-47a1-b629-16426e952b7e
Recommendations
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Reasoning about equilibria in game-like concurrent systems
- Verification of multi-agent systems with public actions against strategy logic
- Expressiveness and complexity results for strategic reasoning
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Algorithmic Game Theory
- Specification and Verification of Multi-Agent Systems
- Alternating-time temporal logic
- Title not available (Why is that?)
- The complexity of propositional linear temporal logics in simple cases
- STRIPS: A new approach to the application of theorem proving to problem solving
- Title not available (Why is that?)
- A course in game theory.
- Multiagent Systems
- Algebraic laws for nondeterminism and concurrency
- The complexity of propositional linear temporal logics
- Title not available (Why is that?)
- A survey of stochastic \(\omega \)-regular games
- Title not available (Why is that?)
- Towards a Logic of Rational Agency
- Expressiveness and complexity results for strategic reasoning
- College Admissions and the Stability of Marriage
- Myths about the mutual exclusion problem
- The computational complexity of propositional STRIPS planning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Game theory. Translated from the Hebrew by Ziv Hellman and edited by Mike Borns
- Title not available (Why is that?)
- Provably Difficult Combinatorial Games
- Title not available (Why is that?)
- Using branching time temporal logic to synthesize synchronization skeletons
- Incentive engineering for Boolean games
- A new solution of Dijkstra's concurrent programming problem
- Algorithmics of matching under preferences. With a foreword by Kurt Mehlhorn
- An automata-theoretic approach to branching-time model checking
- Reasoning about strategies
- Pure Nash equilibria in concurrent deterministic games
- Reasoning about strategies: on the model-checking problem
- Rational synthesis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning about temporal properties of rational play
- Iterated Boolean games
- Reasoning about equilibria in game-like concurrent systems
- Playing games with boxes and diamonds.
- Strategy logic
- Decision procedures for BDI logics
- Title not available (Why is that?)
- Equilibria of concurrent games on event structures
- Analysis of A time‐shared processor
- Title not available (Why is that?)
- Bad equilibria (and what to do about them)
- On the complexity of planning for agent teams and its implications for single agent planning
- Temporal logics in computer science. Finite-state systems
- Does game theory work? The bargaining challenge.
- Repairing multi-player games
- Łukasiewicz games: a logic-based approach to quantitative strategic interactions
- Manipulating games by sharing information
Cited In (13)
- Equilibria for games with combined qualitative and quantitative objectives
- Model Checking Information Flow in Reactive Systems
- On the complexity of rational verification
- Multi-player games with LDL goals over finite traces
- Title not available (Why is that?)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- A logic for conditional local strategic reasoning
- Natural strategic ability
- Cooperative concurrent games
- Mean-payoff games with \(\omega\)-regular specifications
- Title not available (Why is that?)
- Imperfect information in reactive modules games
Uses Software
This page was built for publication: From model checking to equilibrium checking: reactive modules for rational verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407463)
