A Comprehensive Approach to On-Board Autonomy Verification and Validation.
Marco BozzanoAlessandro CimattiMarco RoveriAndrei TchaltsevPublished in: IJCAI (2011)
Keyphrases
- model checking
- formal verification
- decision making
- face verification
- real world
- signature verification
- data sets
- verification method
- person identification
- formal analysis
- fault diagnosis
- multi agent systems
- knowledge base
- probabilistic model
- petri net
- data structure
- database systems
- formal methods
- feature selection
- machine learning
- neural network
- real time