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)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)Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems., , , , , und . IEEE Trans. Autom. Control., 67 (10): 5071-5086 (2022)Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes., , , , und . ITSC, Seite 4025-4031. IEEE, (2023)Stochastic Modeling and Optimal Control for Automated Overtaking., , , und . CDC, Seite 1273-1278. IEEE, (2019)Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information., , , , und . ICRA, Seite 6793-6799. IEEE, (2022)Formal Verification with Constrained Polynomial Logical Zonotope., , , und . CoRR, (2024)