TY  - RPRT
TI  - A Demonic Outcome Logic for Randomized Nondeterminism
AU  - Noam Zilberstein
AU  - Dexter Kozen
AU  - Alexandra Silva
AU  - Joseph Tassarotti
PY  - 2024
DO  - 10.1145/3704855
UR  - https://arxiv.org/abs/2410.22540
ID  - 2410.22540
ER  -