Sergiy Bogomolov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2010–2023
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ATVA | 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 |
| 2022 | CAV | 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 |
| 2022 | IFM | Reachability Analysis and Simulation for Hybridised Event-B Models. | Yamine At Ameur, Sergiy Bogomolov, Guillaume Dupont, Neeraj Kumar Singh, Paulius Stankaitis |
| 2022 | ISoLA | Data-Driven Reachability Analysis of Digital Twin FMI Models. | Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis |
| 2018 | IJCAI | Effect-Abstraction Based Relaxation for Linear Numeric Planning. | Dongxu Li, Enrico Scala, Patrik Haslum, Sergiy Bogomolov |
| 2017 | CAV | Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. | Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar |
| 2017 | TACAS | Counterexample-Guided Refinement of Template Polyhedra. | Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger |
| 2016 | MEMOCODE | Parallel reachability analysis for hybrid systems. | Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray |
| 2015 | RV | Runtime Verification for Hybrid Analysis Tools. | Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson |
| 2014 | AAAI | Planning as Model Checking in Hybrid Domains. | Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle |
| 2012 | CAV | A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. | Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle |
| 2010 | ATVA | Composing Reachability Analyses of Hybrid Systems for Safety and Stability. | Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski |