| emsoft | participants

Marcelo Forets

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