Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems

DOI10.1007/978-3-540-69619-3_8zbMATH Open1177.03025OpenAlexW1532096142MaRDI QIDQ5302000FDOQ5302000

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

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

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)

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)