Model checking-based analysis of multiagent systems

DOI10.1007/3-540-45484-5_1MaRDI QIDQ4536746zbMATH OpenFDO

Authors Massimo Benerecetti, Fausto Giunchiglia

Publication date 22 July 2002

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

Full work available at URL https://doi.org/10.1007/3-540-45484-5_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 1202873
• scientific article; zbMATH DE number 2215634
• Well-structured model checking of multiagent systems
• Model-checking for heterogeneous multi-agent systems
• A compositional automata-based approach for model checking multi-agent systems
• scientific article; zbMATH DE number 1950649
• Abstraction for model checking multi-agent systems
• Model checking multi-agent systems with logic based Petri nets
• Model checking and strategy synthesis for multi-agent systems for resource allocation

Cited in

(19)

• On feasible cases of checking multi-agent systems behavior.
• Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
• Model checking single agent behaviours by fluid approximation
• Security of multi-agent systems: a case study on comparison shopping
• Automated game analysis via probabilistic model checking: a case study
• A compositional automata-based approach for model checking multi-agent systems
• scientific article; zbMATH DE number 2088755 (Why is no real title available?)
• Model checking agent communication
• Directions for agent model checking
• Verifying team formation protocols with probabilistic model checking
• mcmas: A Model Checker for Multi-agent Systems
• Abstraction for model checking multi-agent systems
• Property-based slicing for agent verification
• scientific article; zbMATH DE number 1202873 (Why is no real title available?)
• scientific article; zbMATH DE number 1950649 (Why is no real title available?)
• Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
• scientific article; zbMATH DE number 2215634 (Why is no real title available?)
• Verification of multi-agent properties in electronic voting: a case study
• Base-based model checking for multi-agent only believing

This page was built for publication: Model checking-based analysis of multiagent systems

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