1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2025
Weighted GKAT: Completeness and Complexity
Spencer Van Koevering, Wojciech Różowski, Alexandra Silva
We propose Weighted Guarded Kleene Algebra with Tests (wGKAT), an uninterpreted weighted programming language equipped with branching, conditionals, and loops. We provide an operat…
cs.RO2022★ 1 cited
Provable Probabilistic Safety and Feasibility-Assured Control for Autonomous Vehicles using Exponential Control Barrier Functions
Spencer Van Koevering, Yiwei Lyu, Wenhao Luo +1
With the increasing need for safe control in the domain of autonomous driving, model-based safety-critical control approaches are widely used, especially Control Barrier Function (…