Spencer Van Koevering

According to our database, Spencer Van Koevering authored at least 2 papers between 2022 and 2025.

Collaborative distances:

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

2025

Weighted GKAT: Completeness and Complexity.

Spencer Van Koevering, Wojciech Rozowski, Alexandra Silva

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

2022

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

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022