`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:

### Wrote 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.