Kostiantyn Potomkin

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Command And Control

Top Venues

Publications

Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Safe Reach Set Computation via Neural Barrier Certificates. CoRR (2024)
Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. ATVA (2023)
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement. CAV (1) (2022)
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS (2021)
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. CoRR (2021)
Sergiy Bogomolov, Marcelo Forets, Kostiantyn Potomkin
Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model. RP (2020)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability Analysis of Linear Hybrid Systems via Block Decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a toolbox for set-based reachability. HSCC (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
Reachability analysis of linear hybrid systems via block decomposition. CoRR (2019)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling
JuliaReach: a Toolbox for Set-Based Reachability. CoRR (2019)