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.LO2023
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
Wojciech Różowski, Tobias Kappé, Dexter Kozen +2
We introduce Probabilistic Guarded Kleene Algebra with Tests (ProbGKAT), an extension of GKAT that allows reasoning about uninterpreted imperative programs with probabilistic branc…