A graphical language for LTL motion and mission planning. - Shashank Srinivas; Ramtin Kermani; Kangjin Kim; Yoshihiro Kobayashi; Georgios Fainekos (ROBIO, 2013)