Selected work

Publications

Peer-reviewed publications in formal methods, autonomous vehicle safety, and related areas.

Peer-reviewed

1. Weighted GKAT: Completeness and Complexity Spencer Van Koevering, Wojciech Różowski, Alexandra Silva. ICALP 2025.
   ICALP 2025
2. Provable Probabilistic Safety and Feasibility-Assured Control for Autonomous Vehicles using Exponential Control Barrier Functions Spencer Van Koevering, Yiwei Lyu, Wenhao Luo, John Dolan. IEEE IV 2022.
   IEEE IV 2022