Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
Research article (Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016) · cited 75× · AI/ML