Symbolic execution for randomized programs. - Zachary Susag; Sumit Lahiri; Justin Hsu; Subhajit Roy 001 (Proc. ACM Program. Lang., 2022)

Symbolic Semantics for Probabilistic Programs. - Erik Voogd; Einar Broch Johnsen; Alexandra Silva 001; Zachary J. Susag; Andrzej Wasowski (QEST, 2023)

Symbolic Semantics for Probabilistic Programs (extended version). - Erik Voogd; Einar Broch Johnsen; Alexandra Silva 001; Zachary J. Susag; Andrzej Wasowski (CoRR, 2023)