Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” Proceedings of the International Conference on Embedded Software, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8287
arXiv: 1905.02458

Bogomolov, Sergiy, et al. “JuliaReach: A Toolbox for Set-Based Reachability.”10.1145/3302504.3311804__Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, vol. 22, ACM, 2019, pp. 39–44, doi:10.1145/3302504.3311804.
LibreCat: https://research-explorer.ista.ac.at/record/6035
DOI: 10.1145/3302504.3311804
WoS: 000516713900005
arXiv: 1901.10736