Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
Termination Analysis of Probabilistic Programs through Positivstellensatz’s
Krishnendu Chatterjee
,
Hongfei Fu
,
Amir Kafshdar Goharshady
July 2016
PDF
Published version
Type
Conference paper
Publication
International Conference on Computer Aided Verification (CAV)
Cite
×