Probability and Angelic Nondeterminism with Multiset Semantics. - Shawn Ong; Stephanie Ma; Dexter Kozen (CoRR, 2024)

Probabilistic Kleene Algebra with Angelic Nondeterminism. - Shawn Ong; Stephanie Ma; Dexter Kozen (Proc. ACM Program. Lang., 2025)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism. - Shawn Ong; Dexter Kozen (CoRR, 2025)