Kostiantyn Potomkin

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