( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Cross-Layer Design of Automotive Systems.

, , , и . CoRR, (2020)

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.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Paul Wang

Lien Wang

Scheifoo Wang

 

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

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems., , , , , и . ICCD, стр. 217-226. IEEE, (2019)POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems., , , , , , , , и . CoRR, (2023)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)Collaborative Multi-Agent Video Fast-Forwarding., , , , и . IEEE Trans. Multim., (2024)Design Automation for Intelligent Automotive Systems., , , , , и . ITC, стр. 1-10. IEEE, (2018)Cross-Layer Design of Automotive Systems., , , и . CoRR, (2020)Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper., , , , , , , , , и 1 other автор(ы). ICCAD, стр. 82:1-82:9. IEEE, (2020)Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees., , , , и . CoRR, (2021)A Tool for Neural Network Global Robustness Certification and Training., , , , , , и . CoRR, (2022)