Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots.

Stefan B. Liu Matthias Althoff

Published in: IROS (2018)

Keyphrases

formal analysis
dynamic model
experimental data
multi robot
mobile robot
formal methods
robotic systems
cooperative
multiple models
case study
agent model
ban logic
robotic agents
bi directional
human robot interaction
robot control
artificial intelligence
robot manipulators
service robots
autonomous robots