Runtime Verification and Field Testing for ROS-Based Robotic Systems.
Ricardo CaldasJuan Antonio Piñera GarcíaMatei SchiopuPatrizio PelliccioneGenaína Nunes RodriguesThorsten BergerPublished in: CoRR (2024)
Keyphrases
- robotic systems
- mobile robot
- vision system
- control architecture
- swarm robotics
- formal verification
- multi robot
- test generation
- object manipulation
- robotic manipulator
- autonomous robots
- model checking
- indoor environments
- imitation learning
- symbolic execution
- robotic tasks
- real time
- signature verification
- manipulation tasks
- unstructured environments
- robot control
- multi modal