Leveraging Non-Experts and Formal Methods to Automatically Correct Robot Failures.
Sanne van WaverenPublished in: HRI (2022)
Keyphrases
- formal methods
- formal analysis
- human robot interaction
- formal specification
- safety critical
- model checking
- model checker
- artificial intelligence
- mobile robot
- software engineering
- knowledge based systems
- path planning
- provably correct
- temporal properties
- humanoid robot
- process algebra
- database
- multi robot
- development lifecycle
- robotic systems
- vision system
- databases