| emsoft | participants

Bican Xia

EMSOFT 2020: 20th International Conference on Embedded Software

Safety Verification for Random Ordinary Differential Equations

Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, and Bican Xia