Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
Modular Verification for Almost-Sure Termination of Probabilistic Programs
Mingzhang Huang
,
Hongfei Fu
,
Krishnendu Chatterjee
,
Amir Kafshdar Goharshady
October 2019
PDF
Published version
Artifact
Type
Conference paper
Publication
ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Cite
×