Kostiantyn Potomkin

Orcid: 0000-0002-4726-8931

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Safe Reach Set Computation via Neural Barrier Certificates.
CoRR, 2024

2023
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization.
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.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
Reachability Analysis of Linear Hybrid Systems via Block Decomposition.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model.
Proceedings of the Reachability Problems - 14th International Conference, 2020

2019
JuliaReach: a toolbox for set-based reachability.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019


  Loading...