scientific article; zbMATH DE number 1759731

zbMATH Open0988.68630MaRDI QIDQ4536746FDOQ4536746

Authors: Massimo Benerecetti, Fausto Giunchiglia 

Publication date: 22 July 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (18)

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

This page was built for publication:

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