Muhammad Usama Zubair

According to our database, Muhammad Usama Zubair authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations.

Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu, Waseem Abbas

J. Artif. Intell. Res., 2026

Spectral Distance Between Graphs and the Energy-Based Controllability of Networks.

Muhammad Usama Zubair, Waseem Abbas

IEEE Control. Syst. Lett., 2026

2025

Verification of Neural Network Robustness Against Weight Perturbations Using Star Sets.

Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu, Waseem Abbas

Proceedings of the IEEE Conference on Artificial Intelligence, 2025