A Formalization of the Coach Problem

G. Y. R. Schropp, John-Jules Ch. Meyer, S. Ramamoorthy. A Formalization of the Coach Problem. In Reinaldo A. C. Bianchi, H. Levent Akin, Subramanian Ramamoorthy, Komei Sugiura, editors, RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, João Pessoa, Brazil, July 15. Volume 8992 of Lecture Notes in Computer Science, pages 345-357, Springer, 2014. [doi]

Abstract

Abstract is missing.