Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li. From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures. Volume 12154 of Lecture Notes in Computer Science, pages 10-43, Springer, 2019. [doi]
Abstract is missing.