Abstraction for model checking multi-agent systems

DOI10.1007/S11704-010-0358-YzbMath1267.68145OpenAlexW2003959877MaRDI QIDQ352029

Zhi-Feng Liu, Conghua Zhou, Bo Sun

Publication date: 4 July 2013

Published in: Frontiers of Computer Science in China (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-010-0358-y

zbMATH Keywords

model checkingrefinementabstractionepistemic temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Cites Work

• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Proving partial order properties
• Abstractions of Multi-agent Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Abstraction for model checking multi-agent systems