Module checking of pushdown multi-agent systems

DOI10.46298/LMCS-22(1:13)2026MaRDI QIDQ6840503zbMATH OpenFDO

Authors Laura Bozzelli, Aniello Murano, Adriano Peron

Publication date 23 March 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

pushdown systemsmodule checkingalternating-time temporal logicsinfinite-state multi-agent systemslogics for strategic reasoning

Mathematics Subject Classification ID

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

This page was built for publication: Module checking of pushdown multi-agent systems

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