Modelling and Verification of Multiple UAV Mission Using SMV

Gopinadh Sirigineedi Antonios Tsourdos Brian A. White Rafal Zbikowski

Published in: FMA (2009)

Keyphrases

model checking
formal verification
unmanned aerial vehicles
image processing
mission planning
neural network
multi agent
video sequences
cooperative
dynamic environments
temporal logic
face verification
model checker