New paper on SMT-based motion planning

Saturday, June 15, 2019

Our paper on  appeared in Institute of Electrical and Electronics Engineers (IEEE) Transactions on Robotics.