JuliaReach: a toolbox for set-based reachability. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (HSCC, 2019)

Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model. - Sergiy Bogomolov; Marcelo Forets; Kostiantyn Potomkin (RP, 2020)

Reachability Analysis of Linear Hybrid Systems via Block Decomposition. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Kostiantyn Potomkin; Christian Schilling 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. - Stanley Bak; Sergiy Bogomolov; Parasara Sridhar Duggirala; Adam R. Gerlach; Kostiantyn Potomkin (ADHS, 2021)

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 (CAV (1), 2022)

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 (ATVA, 2023)

Safe Reach Set Computation via Neural Barrier Certificates. - Alessandro Abate; Sergiy Bogomolov; Alec Edwards; Kostiantyn Potomkin; Sadegh Soudjani; Paolo Zuliani (ADHS, 2024)

Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement. - Stanley Bak; Sergiy Bogomolov; Brandon Hencey; Niklas Kochdumper; Ethan Lew; Kostiantyn Potomkin (Formal Methods Syst. Des., 2025)