scientific article; zbMATH DE number 7533366
From MaRDI portal
Publication:5079765
DOI10.4230/LIPIcs.TIME.2018.3zbMath1487.68157MaRDI QIDQ5079765
Publication date: 28 May 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model checkingalternating-time temporal logicstrategic abilitymodel reductionsapproximate verificationimperfect information games
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Uses Software
Cites Work
- Unnamed Item
- Models of strategic reasoning. Logics, games, and communities
- Approximate verification of strategic abilities under imperfect information
- 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
- 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*
- Alternating-time temporal logic
This page was built for publication:
