Approximate verification of strategic abilities under imperfect information
DOI10.1016/j.artint.2019.103172zbMath1478.68384OpenAlexW2972923404WikidataQ104379617 ScholiaQ104379617MaRDI QIDQ2289016
Damian Kurpiewski, Łukasz Mikulski, Wojciech Jamroga, Michał Knapik
Publication date: 20 January 2020
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://orbilu.uni.lu/handle/10993/41791
model checkingimperfect informationalternating-time temporal logicstrategic abilityalternating \(\mu\)-calculusapproximate verification
Specification and verification (program logics, model checking, etc.) (68Q60) Rationality and learning in game theory (91A26) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (3)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Information tracking in games on graphs
- Symbolic model checking: \(10^{20}\) states and beyond
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- Epistemic ATL with Perfect Recall, Past and Strategy Contexts
- Synthesis and Verification of Uniform Strategies for Multi-agent Systems
- Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
- Model Checking Logics of Strategic Ability: Complexity*
- Binary Decision Diagrams
- mcmas: A Model Checker for Multi-agent Systems
- Alternating-time temporal logic
- Hierarchical Information Patterns and Distributed Strategy Synthesis
- Computer Aided Verification
- An improved equivalence algorithm
- Algorithms for Omega-Regular Games with Imperfect Information
This page was built for publication: Approximate verification of strategic abilities under imperfect information
