Saturday, June 15, 2019
Our paper on Satisfiability Modulo Theory-based motion planning appeared in Institute of Electrical and Electronics Engineers (IEEE) Transactions on Robotics.