Data-Driven Safety Verification and Explainability for Whole-Body Manipulation and Locomotion.
Junhyeok AhnSeungHyeon BangCarlos GonzalezYuanchen YuanLuis SentisPublished in: Humanoids (2022)
Keyphrases
- data driven
- safety analysis
- model checking
- manipulation tasks
- face verification
- mobile robot
- degrees of freedom
- database
- formal verification
- special case
- temporal logic
- robotic systems
- formal methods
- asynchronous circuits
- genetic algorithm
- intelligent vehicles
- legged robots
- verification method
- nuclear power plant
- real world