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

Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems., , und . CoRR, (2023)Logical Zonotope: A Set Representation for Binary Vectors., , , und . CoRR, (2022)Learning quadrotor dynamics using neural network for flight control., , , , und . CDC, Seite 4653-4660. IEEE, (2016)Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis., , , und . CDC, Seite 1416-1421. IEEE, (2020)Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions., , , und . CDC, Seite 60-66. IEEE, (2023)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)Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees., , , und . IEEE Trans. Control. Syst. Technol., 30 (4): 1460-1472 (2022)Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems., , , , , und . CoRR, (2020)