Filippidis, I., Dathathri, S., Livingston, S. C., Ozay, N., & Murray, R. M. (2016). Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox [Conference paper]. Proc. of IEEE Conference on Control Applications (CCA), 1030–1041. https://doi.org/10.1109/CCA.2016.7587949