Proceedings of the 20th International Conference on Hybrid Systems Computation and Control
ACM Digital Library