Reasoning about strategic abilities: agents with truly perfect recall

DOI10.1145/3309761zbMATH Open1433.68417OpenAlexW2921537151WikidataQ128129111 ScholiaQ128129111MaRDI QIDQ5222875FDOQ5222875

Authors: Nils Bulling, Wojciech Jamroga, Matei Popovici 

Publication date: 4 July 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3309761

Recommendations

• \(\mathsf{ATL}^\star\) with truly perfect recall: expressivity and validities
• Alternating-time logic with imperfect recall
• scientific article; zbMATH DE number 2182496
• Alternating-time temporal logic with finite-memory strategies
• A logic of strategic ability under bounded memory

zbMATH Keywords

alternating-time temporal logicperfect-recall semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Cited In (2)

• Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
• A logic of strategic ability under bounded memory

This page was built for publication: Reasoning about strategic abilities: agents with truly perfect recall

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222875)