Using incomplete satisfiability modulo theories to determine robotic tasks.

Andreas Witsch Hendrik Skubch Stefan Niemczyk Kurt Geihs

Published in: IROS (2013)

Keyphrases

robotic tasks
motion planning
satisfiability modulo theories
robotic systems
planning under uncertainty
machine learning
special case
mobile robot
programming language
linear programming
dynamic environments
orders of magnitude