Safe Networked Robotics via Formal Verification.
Sai Shankar NarasimhanSharachchandra BhatSandeep P. ChinchaliPublished in: CoRR (2023)
Keyphrases
- formal verification
- model checking
- artificial intelligence
- model checker
- automated verification
- computer vision
- bounded model checking
- symbolic model checking
- multimedia
- program slicing
- robotic systems
- human robot interaction
- mobile robotics
- machine intelligence
- temporal logic
- planning domains
- semi autonomous
- formal specification
- mobile robot
- industrial robots
- functional verification