Specification and Verification of Collaborative Transport Robots.
Bernd-Holger SchlingloffPublished in: EITEC@CPSWeek (2018)
Keyphrases
- formal verification
- asynchronous circuits
- mobile robot
- formal methods
- model checking
- protocol specification
- multi robot
- cooperative
- autonomous robots
- high level
- formal specification
- human robot interaction
- collaborative learning
- colored petri nets
- goal oriented
- multi robot systems
- computer supported collaborative learning
- specification language
- robotic systems
- knowledge sharing
- autonomous systems
- face verification
- geographically dispersed
- functional verification
- concurrent systems
- fingerprint verification
- reactive systems
- multiple robots
- service robots
- robot control
- humanoid robot