Heterogeneous Verification of an Autonomous Curiosity Rover.
Rafael C. CardosoMarie FarrellMatt LuckcuckAngelo FerrandoMichael FisherPublished in: CoRR (2020)
Keyphrases
- autonomous navigation
- model checking
- cooperative
- stereo vision
- path planning
- mobile robot
- robotic systems
- verification method
- person identification
- vision system
- dynamic environments
- multiple autonomous
- website
- unmanned aerial vehicles
- autonomous systems
- social networks
- concurrent systems
- real world
- semi autonomous
- high security
- visual odometry
- heterogeneous data
- human robot interaction