Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo: Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ATVA 2018: 476-493