Paper Info
Title
Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling And Verification
Abstract
We study dynamic multi-agent systems (DMASS). These are multi-agent systems with explicitly dynamic features, where agents can join and leave the system during the evolution. We propose a general conceptual framework for modelling such DMASS and argue that it can adequately capture a variety of important and representative cases. We then present a concrete modelling framework for a large class of DMASS, composed in a modular way from agents specified by means of automata-based representations. We develop generic algorithms implementing the dynamic behaviour, namely addition and removal of agents in such systems. Lastly, we state and discuss several formal verification tasks that are specific for DMASS and propose general algorithmic solutions for the class of automata representable DMASS.
Year
DOI
Venue
2019
10.1007/978-3-030-33792-6_7
PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2019)
Field
DocType
Volume
Computer science,Automaton,Multi-agent system,Conceptual framework,Distributed computing
Conference
11873
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Rodica Condurache101.35
Riccardo De Masellis200.34
Valentin Goranko3124597.90