Get started
Author

Spencer Van Koevering

Observed name: Van Koevering, Spencer
Institution: Cornell University
ORCID: 0009-0008-5026-8060
Observed ORCID: 0009-0008-5026-8060
OpenAlex ID: A5090161548
Provable Probabilistic Safety and Feasibility-Assured Control for Autonomous Vehicles using Exponential Control Barrier Functions
2022 · Spencer Van Koevering, Yiwei Lyu, et al. · IEEE Intelligent Vehicles Symposium · 9
PDF
Weighted GKAT: Completeness and Complexity
2025 · Van Koevering, Spencer, Różowski, Wojciech, et al. · arXiv (Cornell University) · 7
PDF
CF-GKAT Rocq formalization (arXiv v1)
2026 · Van Koevering, Spencer, Silva, Alexandra, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
CFGKAT: A Complete Calculus for Non-Local Control Flow
2026 · Van Koevering, Spencer, Silva, Alexandra, et al. · arXiv (Cornell University)
PDF
Works count: 4
Citation count: 17
H-index: 2
I10-index:
Year
Topic
Type