Verifying Autonomous Robots: Challenges and Reflections (Invited Talk).
Clare DixonPublished in: TIME (2020)
Keyphrases
- autonomous robots
- invited talk
- mobile robot
- robot navigation
- robotic systems
- goal directed
- selected papers
- motion control
- knowledge discovery and data mining
- model checking
- multi robot systems
- robot control
- gaze control
- recent advances
- information systems
- neural network
- knowledge discovery
- multiple robots
- database
- distance learning
- fuzzy logic
- control system
- genetic algorithm
- databases