Login / Signup
Compositional verification for reactive multi-agent systems applied to platoon non collision verification.
Madeleine El-Zaher
Jean-Michel Contet
Pablo Gruer
Franck Gechter
Abderrafiaa Koukam
Published in:
Stud. Inform. Univ. (2012)
Keyphrases
</>
multi agent systems
model checking
genetic algorithm
agent architecture
face verification
formal verification
information systems
neural network
machine learning
face recognition
multi agent
intelligent agents
software agents
distributed problem solving
asynchronous circuits