Finding Polynomial Loop Invariants for Probabilistic Programs
Yijun Feng
◽
Lijun Zhang
◽
David N. Jansen
◽
Naijun Zhan
◽
Bican Xia
2020 ◽
Vol 4
(OOPSLA)
◽
pp. 1-30
Martin Avanzini
◽
Georg Moser
◽
Michael Schaper
Timon Gehr
◽
Samuel Steffen
◽
Martin Vechev
2018 ◽
Vol 53
(4)
◽
pp. 571-585
◽
Marco Cusumano-Towner
◽
Benjamin Bichsel
◽
Timon Gehr
◽
Martin Vechev
◽
Vikash K. Mansinghka
Di Wang
◽
Jan Hoffmann
◽
Thomas Reps
Ryan Bernstein
◽
Matthijs Vákár
◽
Jeannette Wing
2017 ◽
Vol 1
(ICFP)
◽
pp. 1-25
◽
Praveen Narayanan
◽
Chung-chieh Shan
2020 ◽
Vol 4
(POPL)
◽
pp. 1-29
◽
Fredrik Dahlqvist
◽
Dexter Kozen
Jinyi Wang
◽
Yican Sun
◽
Hongfei Fu
◽
Krishnendu Chatterjee
◽
Amir Kafshdar Goharshady
Jinyi Wang
◽
Yican Sun
◽
Hongfei Fu
◽
Krishnendu Chatterjee
◽
Amir Kafshdar Goharshady