Kostiantyn Potomkin

According to our database, Kostiantyn Potomkin authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Safe Reach Set Computation via Neural Barrier Certificates.

Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani

CoRR, 2024

2023

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization.

Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement.

Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization.

Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Reachability Analysis of Linear Hybrid Systems via Block Decomposition.

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model.

Sergiy Bogomolov, Marcelo Forets, Kostiantyn Potomkin

Proceedings of the Reachability Problems - 14th International Conference, 2020

2019

JuliaReach: a toolbox for set-based reachability.

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019