TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems.
Marian Johannes BegemannHannes KallwiesMartin LeuckerMalte SchmitzPublished in: ICTAC (2023)
Keyphrases
- robotic systems
- mobile robot
- vision system
- autonomous robots
- model checking
- control architecture
- object manipulation
- unstructured environments
- multi robot
- verification method
- formal verification
- data mining
- indoor environments
- real time
- autonomous agents
- computational intelligence
- support vector
- e learning
- robotic tasks
- reliability assessment