Safety Verification for Random Ordinary Differential Equations
Xue, Bai, Franzle, Martin, Zhan, Naijun, Bogomolov, Sergiy, Xia, BicanYear:
2020
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
DOI:
10.1109/tcad.2020.3013135
File:
PDF, 1.65 MB
2020