scientific article; zbMATH DE number 1759731

MaRDI QIDQ4536746zbMATH OpenFDO

Authors Massimo Benerecetti, Fausto Giunchiglia

Publication date 22 July 2002

Mathematics Subject Classification ID

Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60) 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

(18)

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