Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems

DOI10.1007/978-3-540-69619-3_8MaRDI QIDQ5302000zbMATH OpenOpenAlexFDO

Authors Zining Cao

Publication date 20 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69619-3_8

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• Compositional verification of multi-agent systems in temporal multi-epistemic logic
• Bounded model checking for temporal epistemic logic in synchronous multi-agent systems
• Agent-time epistemics and coordination
• scientific article; zbMATH DE number 2064229
• scientific article; zbMATH DE number 2112166
• A complete coalition logic of temporal knowledge for multi-agent systems

Cited in

(1)

• Bounded model checking for temporal epistemic logic in synchronous multi-agent systems

This page was built for publication: Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems

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