Incremental Online Verification of Dynamic Cyber-Physical Systems. - Bu, Lei; Xing, Shaopeng; Ren, Xinyue; Yang, Yang; Wang, Qixin; Li, Xuandong (2019)