Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization., , , , und . ADHS, Volume 54 von IFAC-PapersOnLine, Seite 253-258. Elsevier, (2021)Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections., und . ICCPS, Seite 1-11. IEEE, (2022)Re-Thinking LiDAR-Stereo Fusion Frameworks (Student Abstract)., und . AAAI, Seite 13827-13828. AAAI Press, (2020)Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems., , und . FORMATS, Volume 12860 von Lecture Notes in Computer Science, Seite 50-66. Springer, (2021)Verification of annotated models from executions., , und . EMSOFT, Seite 26:1-26:10. IEEE, (2013)When Can We Treat Trajectories as Points?, und . CCCG, Seite 340-345. (2018)Certifiable and Efficient Autonomous Cyber-Physical Systems Design., , , , und . VLSID, Seite 259-263. IEEE, (2024)Formalizing traffic rules for uncontrolled intersections., und . ICCPS, Seite 41-50. IEEE, (2020)On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems., und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 139-144. Elsevier, (2018)Rigorous Simulation-Based Analysis of Linear Hybrid Systems., und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 555-572. (2017)