Kostiantyn Potomkin
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement Formal Methods in System Design | 2025-08-25 | Paper |
| Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement | 2022-12-07 | Paper |
| Case study: reachability and scalability in a unified combat-command-and-control model | 2021-07-06 | Paper |
| JuliaReach Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| JuliaReach: a Toolbox for Set-Based Reachability (available as arXiv preprint) | 2019-01-30 | Paper |
Research outcomes over time
This page was built for person: Kostiantyn Potomkin
