TY  - RPRT
TI  - Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs
AU  - Toru Takisaka
AU  - Yuichiro Oyabu
AU  - Natsuki Urabe
AU  - Ichiro Hasuo
PY  - 2018
DO  - 10.1007/978-3-030-01090-4_28
UR  - https://arxiv.org/abs/1805.10749
ID  - 1805.10749
ER  -