JuliaReach: a Toolbox for Set-Based Reachability S Bogomolov, M Forets, G Frehse, K Potomkin, C Schilling arXiv preprint arXiv:1901.10736, 2019 | 154 | 2019 |
HYST: A source transformation and translation tool for hybrid automaton models S Bak, S Bogomolov, TT Johnson Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 119 | 2015 |
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices S Bogomolov, M Forets, G Frehse, A Podelski, C Schilling, F Viry arXiv preprint arXiv:1801.09526, 2018 | 65 | 2018 |
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems S Bogomolov, G Frehse, M Greitschus, R Grosu, C Pasareanu, A Podelski, ... Hardware and Software: Verification and Testing, 116-131, 2014 | 64 | 2014 |
Planning as Model Checking in Hybrid Domains S Bogomolov, D Magazzeni, A Podelski, M Wehrle | 60 | 2014 |
XSpeed: Accelerating Reachability Analysis on Multi-core Processors R Ray, A Gurung, B Das, E Bartocci, S Bogomolov, R Grosu Hardware and Software: Verification and Testing, 3-18, 2015 | 59 | 2015 |
Scalable static hybridization methods for analysis of nonlinear systems S Bak, S Bogomolov, TA Henzinger, TT Johnson, P Prakash Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 42 | 2016 |
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior S Bogomolov, D Magazzeni, S Minopoli, M Wehrle Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015 | 42 | 2015 |
Abstraction-Based Parameter Synthesis for Multiaffine Systems S Bogomolov, C Schilling, E Bartocci, G Batt, H Kong, R Grosu Hardware and Software: Verification and Testing, 19-35, 2015 | 41 | 2015 |
Counterexample-Guided Refinement of Template Polyhedra S Bogomolov, G Frehse, M Giacobbe, TA Henzinger International Conference on Tools and Algorithms for the Construction and …, 2017 | 40 | 2017 |
Guided search for hybrid systems based on coarse-grained space abstractions S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ... International Journal on Software Tools for Technology Transfer, 1-19, 2015 | 35 | 2015 |
Hybrid automata: from verification to implementation S Bak, OA Beg, S Bogomolov, TT Johnson, LV Nguyen, C Schilling International Journal on Software Tools for Technology Transfer, 1-18, 2017 | 28 | 2017 |
Co-Simulation of Hybrid Systems with SpaceEx and Uppaal S Bogomolov, M Greitschus, PG Jensen, KG Larsen, M Mikucionis, ... Proceedings of the 11th International Modelica Conference, 2015 | 27 | 2015 |
Eliminating spurious transitions in reachability with support functions G Frehse, S Bogomolov, M Greitschus, T Strump, A Podelski Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 26 | 2015 |
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization S Bak, S Bogomolov, PS Duggirala, AR Gerlach, K Potomkin arXiv preprint arXiv:2105.00886, 2021 | 25 | 2021 |
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling D Li, S Bak, S Bogomolov | 24* | |
Effect-Abstraction Based Relaxation for Linear Numeric Planning L Dongxu, E Scala, P Haslum, S Bogomolov | 23* | 2018 |
Abstraction-Based Guided Search for Hybrid Systems S Bogomolov, A Donzé, G Frehse, R Grosu, TT Johnson, H Ladan, ... Model Checking Software, 117-134, 2013 | 23 | 2013 |
Effect-Abstraction Based Relaxation for Linear Numeric Planning D Li, E Scala, P Haslum, S Bogomolov | 23* | |
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters H Kong, S Bogomolov, C Schilling, Y Jiang, TA Henzinger Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 22 | 2017 |