From post

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.

 

Другие публикации лиц с тем же именем

Learning quadrotor dynamics using neural network for flight control., , , , и . CDC, стр. 4653-4660. IEEE, (2016)Polynomial logical zonotope: A set representation for reachability analysis of logical systems., , и . Autom., (2025)SVEA: an experimental testbed for evaluating V2X use-cases., , , , и . ITSC, стр. 3484-3489. IEEE, (2022)Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis., , , и . IV, стр. 292-298. IEEE, (2024)Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks., , , , , , и . IV, стр. 149-155. IEEE, (2024)Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis., , , и . ECC, стр. 579-584. IEEE, (2024)Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis., , , и . CDC, стр. 1416-1421. IEEE, (2020)Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions., , , и . CDC, стр. 60-66. IEEE, (2023)Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability., , , , и . CoRR, (2024)Reachability Analysis Using Constrained Polynomial Logical Zonotopes., , , и . IEEE Control. Syst. Lett., (2024)