Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools.
Mohammed FoughaliPublished in: ACSD (2017)
Keyphrases
- robotic systems
- mobile robot
- autonomous robots
- software tools
- control architecture
- vision system
- computational tools
- object manipulation
- multi robot
- indoor environments
- data mining
- unstructured environments
- end users
- formal methods
- model checking
- robotic manipulator
- data analytics
- artificial intelligence
- real time
- swarm robotics