Diego Manzanas Lopez
Identifiers
No identifiers captured yet.
Papers (3)
- Towards Verified and Targeted Explanations through Formal Methods cs.LG · 2026 · author #2
- Verification for Machine Learning, Autonomy, and Neural Networks Survey cs.AI · 2018 · author #4
- Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems cs.SY · 2018 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Taylor T. Johnson 3 shared papers
- Patrick Musau 2 shared papers
- Weiming Xiang 2 shared papers
- Ayana A. Wild 1 shared papers
- Hanchen David Wang 1 shared papers
- Ipek Oguz 1 shared papers
- Joel Rosenfeld 1 shared papers
- Meiyi Ma 1 shared papers
- Nathaniel Hamilton 1 shared papers
- Preston K. Robinette 1 shared papers
- Xiaodong Yang 1 shared papers