MIT Open Access Articles Optimal path planning under temporal logic constraints