Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic.

Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji

Browse the full SEKE paper archive.