( en | de | ru )

 

Disambiguierung von "Bogomolov, Sergiy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Online Reachability Analysis and Space Convexification for Autonomous Racing.

, , , , und . FMAS@iFM, Volume 395 von EPTCS, Seite 95-112. (2023)

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

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)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)Counterexample-Guided Refinement of Template Polyhedra., , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 589-606. (2017)Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations., , , , , und . ICCPS, Seite 12-22. IEEE, (2024)Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization., , , , und . ADHS, Volume 54 von IFAC-PapersOnLine, Seite 253-258. Elsevier, (2021)Verification of Fault-Tolerant Clock Synchronization Algorithms., , und . ARCH@CPSWeek, Volume 43 von EPiC Series in Computing, Seite 36-41. EasyChair, (2016)Falsification of hybrid systems using symbolic reachability and trajectory splicing., , , , , und . HSCC, Seite 1-10. ACM, (2019)Parallel reachability analysis of hybrid systems in XSpeed., , , , und . Int. J. Softw. Tools Technol. Transf., 21 (4): 401-423 (2019)