Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox - Filippidis, Ioannis; Dathathri, Sumanth; Livingston, Scott C.; Ozay, Necmiye; Murray, Richard M. (Proc. of IEEE Conference on Control Applications (CCA), 2016)