Proceedings of the 17th international conference on Hybrid systems computation and control
ACM Digital Library