Towards formal verification of small and micro UAS.

Sandor M. Veres Owen McAree Jonathan M. Aitken

Published in: ECC (2016)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
data sets
small number
database
real time
social networks
fuzzy logic
rough sets
search strategies