Biblio

Filters: Author is Sergiy Bogomolov  [Clear All Filters]
2020-10-12
Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia.  2020.  Safety verification for random ordinary differential equations. Proceedings of EMSOFT 2020: International Conference on Embedded Software.
2018-05-14
Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis, Thomas Strump, Stavros Tripakis.  2015.  Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. Proceedings of the 11th International Modelica Conference.