| emsoft | participants

Sergiy Bogomolov

Program Committees:
2017, 2018, 2019, and 2020
.

EMSOFT 2020: 20th International Conference on Embedded Software

Reachability analysis of linear hybrid systems via block decomposition

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling

Safety Verification for Random Ordinary Differential Equations

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