Improvement of Multi-AUV Cooperation through Teammate Verification.

Michael Misha Novitzky

Published in: Automated Action Planning for Autonomous Mobile Robots (2011)

Keyphrases

cooperative
multi agent
model checking
real time
artificial intelligence
multi agent systems
expert systems
evolutionary algorithm
significant improvement
information exchange
formal analysis
signature verification
person identification