Publications (4)
Compositional Formal Analysis Based on Conventional Engineering Models
Tyler D. Smith, Ryan Peroutka, Robert Edman
Applications of formal methods for state space exploration have been successfully applied to evaluate robust critical software systems. Formal methods enable discovery of error con…
Quality Model for Machine Learning Components
Grace A. Lewis, Rachel Brower-Sinning, Robert Edman +5
Despite increased adoption and advances in machine learning (ML), there are studies showing that many ML prototypes do not reach the production stage and that testing is still larg…
Provably Robust Model-Centric Explanations for Critical Decision-Making
Cecilia G. Morales, Nicholas Gisolfi, Robert Edman +2
We recommend using a model-centric, Boolean Satisfiability (SAT) formalism to obtain useful explanations of trained model behavior, different and complementary to what can be glean…
Reslicing Ultrasound Images for Data Augmentation and Vessel Reconstruction
Cecilia Morales, Jason Yao, Tejas Rane +3
Robot-guided catheter insertion has the potential to deliver urgent medical care in situations where medical personnel are unavailable. However, this technique requires accurate an…