Heterogeneous Verification of an Autonomous Curiosity Rover.
Rafael C. CardosoMarie FarrellMatt LuckcuckAngelo FerrandoMichael FisherPublished in: NFM (2020)
Keyphrases
- autonomous navigation
- model checking
- cooperative
- formal verification
- stereo vision
- land vehicle
- multiple autonomous
- autonomous systems
- face verification
- data mining
- functional verification
- verification method
- visual odometry
- human robot interaction
- path planning
- neural network
- mobile robot
- vision system
- dynamic environments
- robotic systems
- loosely coupled
- formal analysis
- signature verification
- heterogeneous data
- data model
- face recognition
- position estimation
- web services
- search engine
- spatially distributed
- semantically heterogeneous
- artificial intelligence