Get started
Author

Muhammad Usama Zubair

Observed name: Zubair, Muhammad Usama
Observed institution: The University of Texas at Dallas
ORCID: 0000-0002-0031-8671
Observed ORCID: 0000-0002-0031-8671
OpenAlex ID: A5126374195
NNV3: Expanding Neural Network Verification to New Architectures and Domains
2026 · Tumlin, Anne M., Sasaki, Samuel, et al. · arXiv (Cornell University)
PDF
ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations
2026 · Muhammad Usama Zubair, Taylor T. Johnson, et al. · Journal of Artificial Intelligence Research
PDF
ModelStar: Neural Network Verification Framework for Weight Perturbation Analysis
2026 · Zubair, Muhammad Usama, Johnson, Taylor, et al. · Zenodo (CERN European Organization for Nuclear Research)
Spectral Distance Between Graphs and the Energy-Based Controllability of Networks
2026 · Muhammad Usama Zubair, Waseem Abbas · IEEE Control Systems Letters
Works count: 4
Citation count:
H-index:
I10-index:
Year
Topic
Type