ROSRV: Runtime Verification for Robots.
Jeff HuangCansu ErdoganYi ZhangBrandon M. MooreQingzhou LuoAravind SundaresanGrigore RosuPublished in: RV (2014)
Keyphrases
- mobile robot
- model checking
- cooperative
- multi robot
- human robot interaction
- robotic systems
- autonomous robots
- functional verification
- industrial robots
- robot control
- multi robot systems
- signature verification
- formal verification
- autonomous systems
- website
- verification method
- unstructured environments
- robotic agents
- real robot
- humanoid robot
- tactile sensing