A Bottom-Up, Top-Down Approach to Formal Control Synthesis for Multi-agent Systems.

Juliana Vilela Richard Hill

Published in: MWSCAS (2018)

Keyphrases

multi agent systems
computational logic
artificial intelligence
multi agent
control system
agent systems
real time
genetic algorithm
coalition formation
formal methods
intelligent agents
complex systems
control method
distributed problem solving
agent platform