Optimal path planning under temporal logic constraints.

Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus

Browse the full IROS paper archive.