EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. - Mohanad Odema; James Ferlez; Goli Vaisi; Yasser Shoukry; Mohammad Abdullah Al Faruque (ICCPS, 2023)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions. - Goli Vaisi; James Ferlez; Yasser Shoukry (HSCC, 2025)

Generative Problem Solving: Bridging Classic and Modern AI. - Hsiang-Shun Shih; Chengheng Lyu; Goli Vaisi; Phillip C.-Y. Sheu (ICSC, 2025)