Author of the publication

Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems.

, , , , , , , , and . ASP-DAC, page 753-760. ACM, (2021)

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)Collaborative Multi-Agent Video Fast-Forwarding., , , , and . IEEE Trans. Multim., (2024)Cross-Layer Design of Automotive Systems., , , and . CoRR, (2020)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)Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems., , , , , , , , and . ASP-DAC, page 753-760. ACM, (2021)