Funder
European Union's Horizon 2020 research and innovation programme
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Real-Time Diagnostic Technique for AI-Enabled System;IEEE Open Journal of Intelligent Transportation Systems;2024
2. What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems;Bridging the Gap Between AI and Reality;2023-12-14
3. Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems;Bridging the Gap Between AI and Reality;2023-12-14
4. Robust Bayesian Abstraction of Neural Networks;2023 International Conference on Machine Learning and Cybernetics (ICMLC);2023-07-09
5. Towards Formal Repair and Verification of Industry-scale Deep Neural Networks;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05