Verification of autonomous underwater vehicles using formal logic.

Levente Molnar Sandor M. Veres

Published in: ECC (2009)

Keyphrases

formal logic
formal methods
autonomous underwater vehicles
predicate logic
cooperative
description logics
model checking
artificial intelligence
logic programming
path planning
information systems
database systems
knowledge based systems
dynamic environments
autonomous underwater vehicle