Cited By
View all- Astorga AHsieh CMadhusudan PMitra S(2023)Perception Contracts for Safety of ML-Enabled SystemsProceedings of the ACM on Programming Languages10.1145/36228757:OOPSLA2(2196-2223)Online publication date: 16-Oct-2023
- Park KD'Antoni LReps T(2023)Synthesizing SpecificationsProceedings of the ACM on Programming Languages10.1145/36228617:OOPSLA2(1787-1816)Online publication date: 16-Oct-2023
- Krogmeier PMadhusudan P(2023)Languages with Decidable Learning: A Meta-theoremProceedings of the ACM on Programming Languages10.1145/35860327:OOPSLA1(143-171)Online publication date: 6-Apr-2023
- Show More Cited By