Proceedings of the 15th ACM international conference on Hybrid Systems Computation and Control
ACM Digital Library