Person. Spencer Van Koevering

Papers

Weighted GKAT: Completeness and Complexity vankoevering-2025-weighted

We propose Weighted Guarded Kleene Algebra with Tests (wGKAT), an uninterpreted weighted programming language equipped with branching, conditionals, and loops. We provide an operational semantics for wGKAT using a variant of weighted automata and introduce a sound and complete axiomatization. We also provide a polynomial time decision procedure for bisimulation equivalence.
DOI · arXiv
spencervankoevering person entries/rolodex/spencervankoevering.hel