Author of the publication

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

Learning quadrotor dynamics using neural network for flight control., , , , and . CDC, page 4653-4660. IEEE, (2016)Polynomial logical zonotope: A set representation for reachability analysis of logical systems., , and . Autom., (2025)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)Reachability Analysis Using Constrained Polynomial Logical Zonotopes., , , and . IEEE Control. Syst. Lett., (2024)SVEA: an experimental testbed for evaluating V2X use-cases., , , , and . ITSC, page 3484-3489. IEEE, (2022)Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis., , , and . IV, page 292-298. IEEE, (2024)Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks., , , , , , and . IV, page 149-155. IEEE, (2024)Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis., , , and . ECC, page 579-584. IEEE, (2024)