Henk Blom. Symbolic-numeric methods in reasoning about the design of future air traffic management. In Sriram Sankaranarayanan 0001, Sadegh Soudjani, editors, Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. pages 1-2, ACM, 2019. [doi]
Abstract is missing.