Collaborated with:
J.Giesl M.Hark
Talks about:
constant (1) program (1) probabl (1) runtim (1) expect (1) comput (1)
Person: Peter Giesl
DBLP: Giesl:Peter
Contributed to:
Wrote 1 papers:
- CADE-2019-GieslGH #constant #probability #source code
- Computing Expected Runtimes for Constant Probability Programs (JG, PG, MH), pp. 269–286.