Provable Probabilistic Safety and Feasibility-Assured Control for Autonomous Vehicles using Exponential Control Barrier Functions. - Spencer Van Koevering; Yiwei Lyu; Wenhao Luo; John M. Dolan (IV, 2022)

Weighted GKAT: Completeness and Complexity. - Spencer Van Koevering; Wojciech Rozowski; Alexandra Silva 001 (ICALP, 2025)