( en | de | ru )

 

Disambiguierung von "Bogomolov, Sergiy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).

, , , , und . Inf. Comput., 289 (Part): 104937 (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andrey Bogomolov

Sergiy Zorya

Sergiy Lebedynskyy

Sergiy Davydenko

Sergiy Tkachov

 

Weitere Publikationen von Autoren mit dem selben Namen

Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata., , und . FORMATS, Volume 10419 von Lecture Notes in Computer Science, Seite 133-150. Springer, (2017)Preface., und . NSV, Volume 317 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2015)Data-Driven Reachability Analysis of Digital Twin FMI Models., , , und . ISoLA (4), Volume 13704 von Lecture Notes in Computer Science, Seite 139-158. Springer, (2022)Benchmark Generator for Stratified Controllers of Tank Networks., , , und . ARCH@CPSWeek, Volume 34 von EPiC Series in Computing, Seite 73-79. EasyChair, (2015)Counterexample-Guided Refinement of Template Polyhedra., , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 589-606. (2017)Parallel reachability analysis of hybrid systems in XSpeed., , , , und . Int. J. Softw. Tools Technol. Transf., 21 (4): 401-423 (2019)Temporal Planning as Refinement-Based Model Checking., , , , , und . ICAPS, Seite 195-199. AAAI Press, (2019)JuliaReach: a toolbox for set-based reachability., , , , und . HSCC, Seite 39-44. ACM, (2019)Eliminating spurious transitions in reachability with support functions., , , , und . HSCC, Seite 149-158. ACM, (2015)Safety Verification for Random Ordinary Differential Equations., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (11): 4090-4101 (2020)