Saif R. Kazi

11 papers A* 1C 3Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
E-Globe: Scalable ε-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching.
CoRR
Wenting Li, Saif R. Kazi, Russell Bent, Duo Zhou, Huan Zhang
2026 J jnl
Real-Time Dynamic N-1 Screening: Identifying High-Risk Lines and Transformers After Common Faults.
CoRR
Ayrton Almada, Laurent Pagnier, Igal Goldshtein, Saif R. Kazi, Michael Chertkov
2025 A* conf
LEVIS: Large Exact Verifiable Input Spaces for Neural Networks.
ICML
Mohamad Fares El Hajj Chehade, Wenting Li, Brian Wesley Bell, Russell Bent, Saif R. Kazi, Hao Zhu
2025 — conf
Optimal Trajectory Planning for Space Object Tracking with Collision-Avoidance Constraints.
CCTA
Saif R. Kazi, Harsha Nagarajan, Hassan L. Hijazi, Przemek R. Wozniak
2024 C conf
Dynamic Optimization and Optimal Control of Hydrogen Blending Operations in Natural Gas Networks.
ACC
Saif R. Kazi, Kaarthik Sundar, Anatoly Zlotnik
2024 — conf
Stochastic Finite Volume Method for Uncertainty Management in Gas Pipeline Network Flows.
CDC
Saif R. Kazi, Sidhant Misra, Svetlana Tokareva, Kaarthik Sundar, Anatoly Zlotnik
2023 C conf
Optimal Control of Transient Flows in Pipeline Networks with Heterogeneous Mixtures of Hydrogen and Natural Gas.
ACC
Luke S. Baker, Saif R. Kazi, Rodrigo B. Platte, Anatoly Zlotnik
2023 C conf
Optimization of Hydrogen Blending in Natural Gas Networks for Carbon Emissions Reduction.
ACC
Mo Sodwatana, Saif R. Kazi, Kaarthik Sundar, Anatoly Zlotnik
2021 J jnl
A trust region framework for heat exchanger network synthesis with detailed individual heat exchanger designs.
Comput. Chem. Eng.
Saif R. Kazi, Michael Short, Lorenz T. Biegler
2019 J jnl
Contact-Implicit Trajectory Optimization Using Orthogonal Collocation.
IEEE Robotics Autom. Lett.
Amir Patel, Stacey Leigh Shield, Saif R. Kazi, Aaron M. Johnson, Lorenz T. Biegler
2018 J jnl
Contact-Implicit Trajectory Optimization using Orthogonal Collocation.
CoRR
Amir Patel, Stacey Shield, Saif R. Kazi, Aaron M. Johnson, Lorenz T. Biegler