Collaborated with:J.Giesl P.Giesl B.L.Kaminski J.Katoen
Talks about:program (2) probabilist (1) constant (1) probabl (1) runtim (1) induct (1) harder (1) expect (1) comput (1) verif (1)
Person: Marcel Hark
DBLP: Hark:Marcel
Contributed to:
2019
2020Wrote 2 papers:
- CADE-2019-GieslGH #constant #probability #source code
- Computing Expected Runtimes for Constant Probability Programs (JG, PG, MH), pp. 269–286.
- POPL-2020-HarkKGK #bound #induction #probability #verification
- Aiming low is harder: induction for lower bounds in probabilistic program verification (MH, BLK, JG, JPK), p. 28.