Cited By
View all- Torfah HJoshi AShah SAkshay SChakraborty SSeshia S(2023)Learning Monitor Ensembles for Operational Design DomainsRuntime Verification10.1007/978-3-031-44267-4_14(271-290)Online publication date: 3-Oct-2023
- Abbe EBengio SCornacchia EKleinberg JLotfi ARaghu MZhang CKoyejo SMohamed SAgarwal ABelgrave DCho KOh A(2022)Learning to reason with neural networksProceedings of the 36th International Conference on Neural Information Processing Systems10.5555/3600270.3600466(2709-2722)Online publication date: 28-Nov-2022
- Seshia SSadigh DSastry S(2022)Toward verified artificial intelligenceCommunications of the ACM10.1145/350391465:7(46-55)Online publication date: 21-Jun-2022
- Show More Cited By