Model-checking strategic abilities in information-sharing systems

DOI10.1145/3704919MaRDI QIDQ7027562zbMATH OpenFDO

Authors Francesco Belardinelli, Ioana Boureanu, Cătălin Dima, Vadim Malvone

Publication date 14 February 2025

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

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

zbMATH Keywords

alternating-time temporal logicformal specification and verificationreasoning about security protocolslogic and reasoning

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Model-checking strategic abilities in information-sharing systems

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