A Formalization of the Coach Problem. - Gwendolijn Y. R. Schropp; John-Jules Ch. Meyer; Subramanian Ramamoorthy (RoboCup, 2014)