Using incomplete satisfiability modulo theories to determine robotic tasks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Andreas Witsch' in GoogleThis author has not been identified. Look up 'Hendrik Skubch' in GoogleThis author has not been identified. Look up 'Stefan Niemczyk' in GoogleThis author has not been identified. Look up 'Kurt Geihs' in Google

runs on WebDSL