1
TITLE: Symbolic Semantics for Probabilistic Programs
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, VOLUME: 14287
INDEXED IN: DBLP
2
TITLE: Symbolic Semantics for Probabilistic Programs (extended version)
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.09951
INDEXED IN: DBLP