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.

 

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

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems., , , , , и . ICCD, стр. 217-226. IEEE, (2019)Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract)., , и . IJCAI, стр. 6498-6503. ijcai.org, (2023)Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments., , , , , , , , и . ICML, том 202 из Proceedings of Machine Learning Research, стр. 36593-36604. PMLR, (2023)Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper., , , , , , , , , и 1 other автор(ы). ICCAD, стр. 82:1-82:9. IEEE, (2020)Design Automation for Intelligent Automotive Systems., , , , , и . ITC, стр. 1-10. IEEE, (2018)Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping., , , , и . ACM Trans. Embed. Comput. Syst., 20 (5s): 100:1-100:25 (2021)Cross-Layer Design of Automotive Systems., , , и . IEEE Des. Test, 38 (5): 8-16 (2021)AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors., , , , и . ASP-DAC, стр. 556-561. IEEE, (2022)REGLO: Provable Neural Network Repair for Global Robustness Properties., , , , , , , , и . AAAI, стр. 12061-12071. AAAI Press, (2024)Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation., , , , , и . DAC, стр. 397-402. IEEE, (2021)