Sign in

Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification.

Stefan B. LiuBastian SchürmannMatthias Althoff
Published in: IEEE Trans. Robotics (2023)
Keyphrases
  • robotic systems
  • controller synthesis
  • mobile robot
  • vision system
  • autonomous robots
  • robotic manipulator
  • autonomic computing systems
  • initial state
  • imitation learning
  • computer vision
  • object manipulation