Cited By
View all- Amir GMaayan OZelazny TKatz GSchapira M(2024)Verifying the Generalization of Deep Learning to Out-of-Distribution DomainsJournal of Automated Reasoning10.1007/s10817-024-09704-768:3Online publication date: 3-Aug-2024
- Qin XXia YZutshi AFan CDeshmukh J(2023)Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware VerificationACM Transactions on Cyber-Physical Systems10.1145/36351608:2(1-25)Online publication date: 5-Dec-2023
- Dey SLee SHong JLanperne MPark JCerny TShahriar H(2023)A Multi-layered Collaborative Framework for Evidence-driven Data Requirements Engineering for Machine Learning-based Safety-critical SystemsProceedings of the 38th ACM/SIGAPP Symposium on Applied Computing10.1145/3555776.3577647(1404-1413)Online publication date: 27-Mar-2023
- Show More Cited By