Author of the publication

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.

, , , , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (3): 994-1007 (March 2024)

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

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems., , , , , and . ICCD, page 217-226. IEEE, (2019)POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems., , , , , , , , and . CoRR, (2023)Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)., , and . IJCAI, page 6498-6503. ijcai.org, (2023)Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments., , , , , , , , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 36593-36604. PMLR, (2023)Cross-Layer Design of Automotive Systems., , , and . CoRR, (2020)Collaborative Multi-Agent Video Fast-Forwarding., , , , and . IEEE Trans. Multim., (2024)Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper., , , , , , , , , and 1 other author(s). ICCAD, page 82:1-82:9. IEEE, (2020)Design Automation for Intelligent Automotive Systems., , , , , and . ITC, page 1-10. IEEE, (2018)Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments., , , , , , , , and . CoRR, (2022)Scanning of Bridge Surface Roughness from Two-Axle Vehicle Response by EKF-UI and Contact Residual: Theoretical Study., , , , and . Sensors, 22 (9): 3410 (2022)