Provably-correct robot control with LTLMoP, OMPL and ROS.
Kai Weng WongCameron FinucaneHadas Kress-GazitPublished in: IROS (2013)
Keyphrases
- robot control
- provably correct
- mobile robot
- autonomous robots
- situation calculus
- unstructured environments
- object manipulation
- formal methods
- reinforcement learning
- motion control
- pid controller
- real time
- software development
- subsumption architecture
- closed loop
- belief revision
- motor control
- linear combination
- control system