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