Collaborated with:K.Chatterjee Dorde Zikelic Sheshansh Agrawal H.F.0001 Rouzbeh Hasheminezhad
Talks about:probabilist (3) termin (3) program (2) supermartingal (1) lexicograph (1) algorithm (1) stochast (1) approach (1) quantit (1) problem (1)
Person: Petr Novotný 0001
DBLP: 0001:Petr_Novotn=yacute=
Contributed to:
201620172018Wrote 3 papers:
- POPL-2016-ChatterjeeFNH #algorithm #analysis #probability #problem #source code #termination
- Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs (KC, HF0, PN0, RH), pp. 327–342.
- POPL-2017-ChatterjeeNZ #invariant #probability #termination
- Stochastic invariants for probabilistic termination (KC, PN0, DZ), pp. 145–160.
- POPL-2018-AgrawalC0 #approach #performance #probability #ranking #source code #termination
- Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs (SA, KC, PN0), p. 32.