( en | de | ru )

 

Disambiguierung von "Bogomolov, Sergiy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JuliaReach: a toolbox for set-based reachability.

, , , , und . HSCC, Seite 39-44. ACM, (2019)

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 Lebedynskyy

Sergiy Davydenko

Sergiy Zorya

Sergiy Kryvych

 

Weitere Publikationen von Autoren mit dem selben Namen

Counterexample-Guided Refinement of Template Polyhedra., , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 589-606. (2017)Benchmark Generator for Stratified Controllers of Tank Networks., , , und . ARCH@CPSWeek, Volume 34 von EPiC Series in Computing, Seite 73-79. EasyChair, (2015)Preface., und . NSV, Volume 317 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2015)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)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)Parallel reachability analysis of hybrid systems in XSpeed., , , , und . Int. J. Softw. Tools Technol. Transf., 21 (4): 401-423 (2019)JuliaReach: a toolbox for set-based reachability., , , , und . HSCC, Seite 39-44. ACM, (2019)Safe Reach Set Computation via Neural Barrier Certificates., , , , , und . CoRR, (2024)Eliminating spurious transitions in reachability with support functions., , , , und . HSCC, Seite 149-158. ACM, (2015)Temporal Planning as Refinement-Based Model Checking., , , , , und . ICAPS, Seite 195-199. AAAI Press, (2019)