Compositional Formal Analysis Based on Conventional Engineering Models. - Tyler D. Smith; Ryan Peroutka; Robert Edman (CoRR, 2020)

Provably Robust Model-Centric Explanations for Critical Decision-Making. - Cecilia G. Morales; Nicholas Gisolfi; Robert Edman; James Kyle Miller; Artur Dubrawski (CoRR, 2021)

Actionable Model-Centric Explanations (Student Abstract). - Cecilia G. Morales; Nicholas Gisolfi; Robert Edman; James Kyle Miller; Artur Dubrawski (AAAI, 2022)

Reslicing Ultrasound Images for Data Augmentation and Vessel Reconstruction. - Cecilia G. Morales; Jason Yao; Tejas Rane; Robert Edman; Howie Choset; Artur Dubrawski (ICRA, 2023)