Lower Bounds for Possibly Divergent Probabilistic Programs

Feng, Shenghua; Chen, Mingshuai (Corresponding author); Su, Han; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Zhan, Naijun

New York, NY, USA : ACM (2023)
Journal Article

In: Proceedings of the ACM on programming languages
Volume: 7
Issue: OOPSLA1
Page(s)/Article-Nr.: 99

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]