Andreas Witsch, Hendrik Skubch, Stefan Niemczyk, Kurt Geihs. Using incomplete satisfiability modulo theories to determine robotic tasks. In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013. pages 4784-4789, IEEE, 2013. [doi]
Abstract is missing.