| 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 | 159 | 2019 |
| 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 | 28 | 2021 |
| 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 | 13 | 2020 |
| Reachability of Koopman linearized systems using random Fourier feature observables and polynomial zonotope refinement S Bak, S Bogomolov, B Hencey, N Kochdumper, E Lew, K Potomkin International Conference on Computer Aided Verification, 490-510, 2022 | 11 | 2022 |
| Autokoopman: A toolbox for automated system identification via koopman operator linearization E Lew, A Hekal, K Potomkin, N Kochdumper, B Hencey, S Bak, ... International Symposium on Automated Technology for Verification and …, 2023 | 8 | 2023 |
| Safe reach set computation via neural barrier certificates A Abate, S Bogomolov, A Edwards, K Potomkin, S Soudjani, P Zuliani IFAC-PapersOnLine 58 (11), 107-114, 2024 | 3 | 2024 |
| Search code, repositories, users, issues, pull requests... MH Abrar, P Medvedev | | 2024 |
| Reachability of Koopman Linearized Systems Using Explicit Kernel Approximation and Polynomial Zonotope Refinement S Bak, S Bogomolov, B Hencey, N Kochdumper, E Lew, K Potomkin | | 2023 |
| Scalable Verification of Cyber-Physical Systems K Potomkin Newcastle University, 2023 | | 2023 |
| Case Study: Reachability and Scalability S Bogomolov, M Forets, K Potomkin Reachability Problems: 14th International Conference, RP 2020, Paris, France …, 2020 | | 2020 |
| Hybrid Reachability Analysis for Kuramoto-Lanchester Model K Potomkin PQDT-Global, 2020 | | 2020 |
| Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model S Bogomolov, M Forets, K Potomkin Reachability Problems: 14th International Conference, RP 2020, Paris, France …, 2020 | | 2020 |
