Reasoning about strategic abilities: agents with truly perfect recall

DOI10.1145/3309761MaRDI QIDQ5222875zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cited in

(3)

• Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
• A logic of strategic ability under bounded memory
• \(\mathsf{ATL}^\star\) with truly perfect recall: expressivity and validities

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)