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 | 124 | 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 | 21 | 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 | 11 | 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 | 7 | 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 | 4 | 2023 |
Safe Reach Set Computation via Neural Barrier Certificates A Abate, S Bogomolov, A Edwards, K Potomkin, S Soudjani, P Zuliani arXiv preprint arXiv:2404.18813, 2024 | | 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 |
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 |