Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems

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

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

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

Recommendations

• Compositional verification of multi-agent systems in temporal multi-epistemic logic 👍 👎
• A complete coalition logic of temporal knowledge for multi-agent systems 👍 👎
• Agent-Time Epistemics and Coordination 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)