Ti Zhou, Jinying Wang, Yi Miao. A Formal Method for Safety Time Series Simulation of Aerospace. In Xingming Sun, Jinwei Wang, Elisa Bertino, editors, Artificial Intelligence and Security - 6th International Conference, ICAIS 2020, Hohhot, China, July 17-20, 2020, Proceedings, Part I. Volume 12239 of Lecture Notes in Computer Science, pages 38-48, Springer, 2020. [doi]
Abstract is missing.