Chen, A.; Gisolfi, N.; Dubrawski, A. Data-Driven Discovery of Design Specifications (Student Abstract). AAAI 2024, 38, 23449-23450.