Abstraction for model checking multi-agent systems

DOI10.1007/S11704-010-0358-YzbMATH Open1267.68145OpenAlexW2003959877MaRDI QIDQ352029FDOQ352029

Authors: Conghua Zhou, Zhifeng Liu, 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

Recommendations

• scientific article; zbMATH DE number 2215634
• Automatic data-abstraction in model checking multi-agent systems
• scientific article; zbMATH DE number 1202873
• scientific article; zbMATH DE number 1759731
• Model-checking for heterogeneous multi-agent systems
• Well-structured model checking of multiagent systems
• Abstractions of Multi-agent Systems
• A compositional automata-based approach for model checking multi-agent systems
• Model checking multi-agent systems with logic based Petri nets

zbMATH Keywords

model checkingabstractionrefinementepistemic temporal logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Proving partial order properties
• Title not available (Why is that?)
• Bounded model checking for temporal epistemic logic in synchronous multi-agent systems
• Abstractions of Multi-agent Systems
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• Abstractions of Multi-agent Systems
• A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
• Title not available (Why is that?)
• mcmas: A Model Checker for Multi-agent Systems
• Counter abstraction for regular open teams
• Automatic data-abstraction in model checking multi-agent systems

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

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