A Formal Semantics for Multiple Vehicle Task and Motion Planning. - Neil Rugg-Gunn; Stephen Cameron (ICRA, 1994)