The 20th ACM International Conference on Hybrid Systems: Computation and Control [Conference Reports] | IEEE Journals & Magazine | IEEE Xplore