From model checking to equilibrium checking: reactive modules for rational verification
From MaRDI portal
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
Cites work
- A course in game theory.
- A new solution of Dijkstra's concurrent programming problem
- A survey of stochastic -regular games
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Algebraic laws for nondeterminism and concurrency
- Algorithmic Game Theory
- Algorithmics of matching under preferences. With a foreword by Kurt Mehlhorn
- Alternating-time temporal logic
- An automata-theoretic approach to branching-time model checking
- Analysis of A time‐shared processor
- Bad equilibria (and what to do about them)
- College Admissions and the Stability of Marriage
- Decision procedures for BDI logics
- Does game theory work? The bargaining challenge.
- Equilibria of concurrent games on event structures
- Expressiveness and complexity results for strategic reasoning
- Game theory. Translated from the Hebrew by Ziv Hellman and edited by Mike Borns
- scientific article; zbMATH DE number 4018370 (Why is no real title available?)
- scientific article; zbMATH DE number 5872401 (Why is no real title available?)
- scientific article; zbMATH DE number 3888913 (Why is no real title available?)
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 3748393 (Why is no real title available?)
- scientific article; zbMATH DE number 45086 (Why is no real title available?)
- scientific article; zbMATH DE number 48303 (Why is no real title available?)
- scientific article; zbMATH DE number 54099 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1759605 (Why is no real title available?)
- scientific article; zbMATH DE number 2201583 (Why is no real title available?)
- Incentive engineering for Boolean games
- Iterated Boolean games
- Manipulating games by sharing information
- Multiagent Systems
- Myths about the mutual exclusion problem
- On the complexity of planning for agent teams and its implications for single agent planning
- Playing games with boxes and diamonds.
- Provably Difficult Combinatorial Games
- Pure Nash equilibria in concurrent deterministic games
- Rational synthesis
- Reasoning about equilibria in game-like concurrent systems
- Reasoning about strategies
- Reasoning about strategies: on the model-checking problem
- Reasoning about temporal properties of rational play
- Repairing multi-player games
- Specification and Verification of Multi-Agent Systems
- Strategy logic
- STRIPS: A new approach to the application of theorem proving to problem solving
- Temporal logics in computer science. Finite-state systems
- The complexity of propositional linear temporal logics
- The complexity of propositional linear temporal logics in simple cases
- The computational complexity of propositional STRIPS planning
- Towards a Logic of Rational Agency
- Using branching time temporal logic to synthesize synchronization skeletons
- Łukasiewicz games: a logic-based approach to quantitative strategic interactions
Cited in
(17)- Imperfect information in reactive modules games
- A logic for conditional local strategic reasoning
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Multi-player games with LDL goals over finite traces
- Natural strategic ability
- Mean-payoff games with \(\omega\)-regular specifications
- Cooperative concurrent games
- Model Checking Information Flow in Reactive Systems
- scientific article; zbMATH DE number 7136658 (Why is no real title available?)
- Equilibrium design for concurrent games
- On the complexity of rational verification
- Concurrent stochastic lossy channel games
- Characterising and verifying the core in concurrent multi-player mean-payoff games
- Formal verification and synthesis of mechanisms for social choice
- Designing equilibria in concurrent games with social welfare and temporal logic constraints
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- Equilibria for games with combined qualitative and quantitative objectives
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)
