| JuliaReach: a toolbox for set-based reachability S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 57 | 2019 |
| Reachability analysis of linear hybrid systems via block decomposition S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 8 | 2020 |
| Reachability of black-box nonlinear systems after koopman operator linearization S Bak, S Bogomolov, PS Duggirala, AR Gerlach, K Potomkin IFAC-PapersOnLine 54 (5), 253-258, 2021 | 6 | 2021 |
| Hybrid Reachability Analysis for Kuramoto-Lanchester Model K Potomkin PQDT-Global, 2021 | | 2021 |
| Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model S Bogomolov, M Forets, K Potomkin International Conference on Reachability Problems, 52-66, 2020 | | 2020 |
