Author of the publication

Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees.

, , , and . IEEE Trans. Control. Syst. Technol., 30 (4): 1460-1472 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems., , and . CoRR, (2023)Logical Zonotope: A Set Representation for Binary Vectors., , , and . CoRR, (2022)Learning quadrotor dynamics using neural network for flight control., , , , and . CDC, page 4653-4660. IEEE, (2016)Online control synthesis for uncertain systems under signal temporal logic specifications., , , , and . Int. J. Robotics Res., 43 (6): 765-790 (2024)Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis., , , and . CDC, page 1416-1421. IEEE, (2020)Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions., , , and . CDC, page 60-66. IEEE, (2023)Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability., , , , and . CoRR, (2024)Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems., , , , , and . IEEE Trans. Autom. Control., 67 (10): 5071-5086 (2022)Stochastic Modeling and Optimal Control for Automated Overtaking., , , and . CDC, page 1273-1278. IEEE, (2019)Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes., , , , and . ITSC, page 4025-4031. IEEE, (2023)