Tolerance analysis of fixture fabrication, from drilling holes to pointing accuracy. - An-Jim Long; David Tsai 003; Kent Lien; Steve Hsu (ITC, 2015)

Compositional Learning and Verification of Neural Network Controllers. - Radoslav Ivanov; Kishor Jothimurugan; Steve Hsu; Shaan Vaidya; Rajeev Alur; Osbert Bastani (ACM Trans. Embed. Comput. Syst., 2021)

Robust Subtask Learning for Compositional Generalization. - Kishor Jothimurugan; Steve Hsu; Osbert Bastani; Rajeev Alur (ICML, 2023)