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