Everardo Bárcenas, Antonio Benitez, Jorge de la Calleja, María Auxilio Medina Nieto, Jorge Rios-Martinez. Reasoning about the past on temporal specifications for motion planning. In 24th International Conference on Electronics, Communications and Computing, CONIELECOMP 2014, Cholula, Puebla, Mexico, February 26-28, 2014. pages 206-211, IEEE, 2014. [doi]
Abstract is missing.