Safety verification for random ordinary differential equations
| Title | Safety verification for random ordinary differential equations |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia |
| Conference Name | Proceedings of EMSOFT 2020: International Conference on Embedded Software |
| Publisher | ACM Sigbed |
| Conference Location | Shanghai, China |
| Citation Key | node-71119 |