[1]
M. Seotsanyana, “Temporal Logic Motion Planning”, Def. Sc. J., vol. 60, no. 1, pp. 23–38, Mar. 2010.