Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox | IEEE Conference Publication | IEEE Xplore