Towards manipulation planning with temporal logic specifications.

Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

Browse the full ICRA paper archive.