Lower Bounds for Possibly Divergent Probabilistic Programs

From MaRDI portal

Publication:6426252

Jump to:navigation, search

arXiv2302.06082MaRDI QIDQ6426252

Joost-Pieter Katoen, Han Su, Benjamin Lucien Kaminski, Mingshuai Chen, Shenghua Feng, Naijun Zhan

Publication date: 12 February 2023

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6426252&oldid=36097990"