Scholar
Diego Manzanas Lopez
Google Scholar ID: kgpZCIAAAAAJ
Research Scientist, Vanderbilt University
Cyber Physical Systems
Formal Methods
System Identification
Safe AI
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,508
H-index
17
i10-index
17
Publications
20
Co-authors
6
list available
Publications
3 items
Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features
2026
Cited
0
NNV3: Expanding Neural Network Verification to New Architectures and Domains
2026
Cited
0
Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
2025
Cited
0
Co-authors
4 total
Taylor T Johnson
Associate Professor, Computer Science, Vanderbilt University
Hoang-Dung Tran
University of Florida
Luan Viet Nguyen
Assistant Professor, University of Dayton
Joel A. Rosenfeld
Associate Professor, Department of Mathematics and Statistics, University of South Florida
