Approximate verification of strategic abilities under imperfect information

DOI10.1016/J.ARTINT.2019.103172MaRDI QIDQ2289016zbMATH OpenOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

alternating \(\mu\)-calculusalternating-time temporal logicapproximate verificationimperfect informationmodel checkingstrategic ability

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Rationality and learning in game theory (91A26)

Recommendations

• Theoretical Computer Science
• SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
• Towards partial order reductions for strategic ability
• Model checking abilities of agents: a closer look
• scientific article; zbMATH DE number 7297884

Cites work

• Algorithms for Omega-Regular Games with Imperfect Information
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• An improved equivalence algorithm
• Binary decision diagrams
• Computer Aided Verification
• Epistemic ATL with perfect recall, past and strategy contexts
• Hierarchical information patterns and distributed strategy synthesis
• scientific article; zbMATH DE number 5954369 (Why is no real title available?)
• scientific article; zbMATH DE number 2182496 (Why is no real title available?)
• scientific article; zbMATH DE number 1903350 (Why is no real title available?)
• scientific article; zbMATH DE number 2102712 (Why is no real title available?)
• scientific article; zbMATH DE number 7311252 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Information tracking in games on graphs
• mcmas: A Model Checker for Multi-agent Systems
• Model Checking Logics of Strategic Ability: Complexity*
• Optimizing epistemic model checking using conditional independence (extended abstract)
• Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
• Relating paths in transition systems: the fall of the modal mu-calculus
• SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
• Symbolic model checking: \(10^{20}\) states and beyond
• Synthesis and verification of uniform strategies for multi-agent systems

Cited in

(8)

• Multi-valued verification of strategic ability
• Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
• scientific article; zbMATH DE number 7533366 (Why is no real title available?)
• Towards partial order reductions for strategic ability
• scientific article; zbMATH DE number 7297884 (Why is no real title available?)
• Theoretical Computer Science
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
• Reasoning about decidability of strategic logics with imperfect information and perfect recall strategies

Describes a project that uses

Uses Software

• MCMAS
• MCK
• MOCHA
• jMocha

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)