Graphical Mission Specification and Partitioning for Unmanned Underwater Vehicles.

Gary Giger Mahmut T. Kandemir John E. Dzielski

Published in: J. Softw. (2008)

Keyphrases

underwater vehicles
fault identification
computer simulation
mathematical models
high level
formal specification
real time
machine learning
information retrieval
multi agent
graphical representation
partitioning algorithm