Biblio
Filters: Author is Sergiy Bogomolov [Clear All Filters]
.
2020. Safety verification for random ordinary differential equations. Proceedings of EMSOFT 2020: International Conference on Embedded Software.