Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

Browse the full ATVA paper archive.