A Comprehensive Approach to On-board Autonomy Verification and Validation.
Marco BozzanoAlessandro CimattiMarco RoveriPublished in: ACM Trans. Intell. Syst. Technol. (2021)
Keyphrases
- model checking
- face verification
- multi agent systems
- real world
- formal methods
- neural network
- machine learning
- decision making
- real time
- fault diagnosis
- temporal logic
- relational databases
- space missions
- functional verification
- asynchronous circuits
- person identification
- pedestrian detection
- evolutionary algorithm
- data structure
- case study
- information systems
- learning algorithm
- data sets