2 papers
cs.FL2025
A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
Shawn Ong, Dexter Kozen
We give a decision procedure and proof of correctness for the equational theory of probabilistic Kleene algebra with angelic nondeterminism introduced in Ong, Ma, and Kozen (2025).
cs.LO2025
Probability and Angelic Nondeterminism with Multiset Semantics
Shawn Ong, Stephanie Ma, Dexter Kozen
We introduce a version of probabilistic Kleene algebra with angelic nondeterminism and a corresponding class of automata. Our approach implements semantics via distributions over m…