Safety Assessment of Collaborative Robotics Through Automated Formal Verification.
Federico VicentiniMehrnoosh AskarpourMatteo RossiDino MandrioliPublished in: IEEE Trans. Robotics (2020)
Keyphrases
- formal verification
- model checking
- automated verification
- model checker
- bounded model checking
- symbolic model checking
- computer vision
- artificial intelligence
- semi automated
- collaborative learning
- peer assessment
- program slicing
- machine intelligence
- computer supported collaborative learning
- temporal logic
- geographically dispersed
- mobile robot
- fully automated
- robotic systems
- learning experience
- test cases
- rough sets