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