Dipankar Maity, John S. Baras. Motion planning in dynamic environments with bounded time temporal logic specifications. In 23rd Mediterranean Conference on Control and Automation, MED 2015, Torremolinos, Malaga, Spain, June 16-19, 2015. pages 940-946, IEEE, 2015. [doi]
Abstract is missing.