Wei Lu, Shaoxian Shu, Rao Shi, Rui Li, Wei Dong 0006. Synthesizing Secure Reactive Controller for Unmanned Aerial System. In 6th International Conference on Dependable Systems and Their Applications, DSA 2019, Harbin, China, January 3-6, 2020. pages 419-424, IEEE, 2019. [doi]
Abstract is missing.