Approximate verification of strategic abilities under imperfect information
DOI10.1016/J.ARTINT.2019.103172zbMATH Open1478.68384DBLPjournals/ai/JamrogaKKM19OpenAlexW2972923404WikidataQ104379617 ScholiaQ104379617MaRDI QIDQ2289016FDOQ2289016
Authors: Wojciech Jamroga, Michał Knapik, Damian Kurpiewski, Łukasz Mikulski 
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
Recommendations
model checkingimperfect informationalternating-time temporal logicstrategic abilityalternating \(\mu\)-calculusapproximate verification
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Temporal logic (03B44) Rationality and learning in game theory (91A26)
Cites Work
- Alternating-time temporal logic
- Title not available (Why is that?)
- Symbolic model checking: \(10^{20}\) states and beyond
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer Aided Verification
- Algorithms for Omega-Regular Games with Imperfect Information
- Title not available (Why is that?)
- Hierarchical information patterns and distributed strategy synthesis
- Information tracking in games on graphs
- An improved equivalence algorithm
- Model Checking Logics of Strategic Ability: Complexity*
- Alternating-time logic with imperfect recall
- mcmas: A Model Checker for Multi-agent Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Epistemic ATL with perfect recall, past and strategy contexts
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- Binary decision diagrams
- SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- Synthesis and verification of uniform strategies for multi-agent systems
- Relating paths in transition systems: the fall of the modal mu-calculus
- Optimizing epistemic model checking using conditional independence (extended abstract)
Cited In (7)
- Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
- Title not available (Why is that?)
- Towards partial order reductions for strategic ability
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
- Title not available (Why is that?)
- Multi-valued verification of strategic ability
- Theoretical Computer Science
Uses Software
This page was built for publication: Approximate verification of strategic abilities under imperfect information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289016)
