TY  - RPRT
TI  - Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs
AU  - Sheshansh Agrawal
AU  - Krishnendu Chatterjee
AU  - Petr Novotný
PY  - 2017
UR  - https://arxiv.org/abs/1709.04037
ID  - 1709.04037
ER  -