Compositional verification of a multi-agent system for one-to-many negotiation

DOI10.1023/B:APIN.0000013334.33853.0CzbMATH Open1080.68684OpenAlexW2009866896MaRDI QIDQ702806FDOQ702806

Authors: Frances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur 

Publication date: 19 January 2005

Published in: Applied Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:apin.0000013334.33853.0c

Recommendations

• Compositional verification of multi-agent systems in temporal multi-epistemic logic
• Verifying systems of resource-bounded agents
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• On complexity of verification of interacting agents' behavior
• scientific article; zbMATH DE number 1950649

zbMATH Keywords

Compositionalverificationmulti-agent systemnegotiation

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited In (3)

• Engineering characteristics of autonomous agent architectures
• Verification of multi-agent properties in electronic voting: a case study
• FSP and FLTL framework for specification and verification of middle-agents

This page was built for publication: Compositional verification of a multi-agent system for one-to-many negotiation

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