Model Checking Logics of Strategic Ability: Complexity*

DOI10.1007/978-1-4419-6984-2_5zbMath1201.68070OpenAlexW199673169MaRDI QIDQ3056329

No author found.

Publication date: 11 November 2010

Published in: Specification and Verification of Multi-agent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4419-6984-2_5

zbMATH Keywords

model checkingconcurrent gameLTLATLCTLstrategic logictemporel logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (11)

Model-checking for resource-bounded ATL with production and consumption of resources ⋮ Specification and Verification of Multi-Agent Systems ⋮ Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ Unnamed Item ⋮ Where logic and agents meet ⋮ Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol ⋮ Unnamed Item ⋮ Natural strategic ability ⋮ Approximate verification of strategic abilities under imperfect information ⋮ Multi-valued Verification of Strategic Ability ⋮ Knowing the price of success

This page was built for publication: Model Checking Logics of Strategic Ability: Complexity*