scientific article; zbMATH DE number 1759731
From MaRDI portal
Publication:4536746
zbMATH Open0988.68630MaRDI QIDQ4536746FDOQ4536746
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
Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)
Cited In (10)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Property-based slicing for agent verification
- 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
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
- Abstraction for model checking multi-agent systems
- On feasible cases of checking multi-agent systems behavior.
- mcmas: A Model Checker for 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)
