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

DOI10.1023/B:APIN.0000013334.33853.0CMaRDI QIDQ702806zbMATH OpenOpenAlexFDO

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

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)

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

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)