HybridUML Based Verification of CPS Using Differential Dynamic Logic.

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

Browse the full SEKE paper archive.