Showing cs.LOShow all
3 papers · 1 filter
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…
cs.LO2024
A Demonic Outcome Logic for Randomized Nondeterminism
Noam Zilberstein, Dexter Kozen, Alexandra Silva +1
Programs increasingly rely on randomization in applications such as cryptography and machine learning. Analyzing randomized programs has been a fruitful research direction, but the…
cs.LO2024
A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
Jan Rooduijn, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests (GKAT for short) is an efficient fragment of Kleene Algebra with Tests, suitable for reasoning about simple imperative while-programs. Following e…