Kavraki Lab
K. He, “Robot Manipulation Planning Under Linear Temporal Logic Specifications,” Master's thesis, Rice University, Houston, TX, 2015.

PDF preprint: http://kavrakilab.org/publications/he2015msthesis.pdf