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

Learning quadrotor dynamics using neural network for flight control., , , , und . CDC, Seite 4653-4660. IEEE, (2016)Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions., , , und . CDC, Seite 60-66. IEEE, (2023)Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis., , , und . CDC, Seite 1416-1421. IEEE, (2020)Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability., , , , und . CoRR, (2024)SVEA: an experimental testbed for evaluating V2X use-cases., , , , und . ITSC, Seite 3484-3489. IEEE, (2022)Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis., , , und . CoRR, (2024)Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis., , , und . CoRR, (2024)Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information., , , , und . ICRA, Seite 6793-6799. IEEE, (2022)Stochastic Modeling and Optimal Control for Automated Overtaking., , , und . CDC, Seite 1273-1278. IEEE, (2019)Formal Verification with Constrained Polynomial Logical Zonotope., , , und . CoRR, (2024)