Using incomplete satisfiability modulo theories to determine robotic tasks.

Andreas Witsch, Hendrik Skubch, Stefan Niemczyk, Kurt Geihs

Browse the full IROS paper archive.