Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications

DOI10.1613/jair.1.12539OpenAlexW4221125451MaRDI QIDQ5076330

Emily Yu, Francesco Belardinelli, Vadim Malvone, Alessio Lomuscio

Publication date: 16 May 2022

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.12539

zbMATH Keywords

automated reasoningknowledge representationmultiagent systemstemporal reasoning

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (2)

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information ⋮ Runtime Verification with Imperfect Information Through Indistinguishability Relations

Uses Software

• MCMAS

This page was built for publication: Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications