Optimal path planning for surveillance with temporal-logic constraints

Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus. Optimal path planning for surveillance with temporal-logic constraints. I. J. Robotic Res., 30(14):1695-1708, 2011. [doi]

Abstract

Abstract is missing.