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