Follow
Kostiantyn Potomkin
Kostiantyn Potomkin
Verified email at newcastle.ac.uk
Title
Cited by
Cited by
Year
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
1182019
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
202021
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
102020
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
62022
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
22023
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
The system can't perform the operation now. Try again later.
Articles 1–8