Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (ATVA, 2018)

Ranking and Repulsing Supermartingales for Approximating Reachability. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (CoRR, 2018)

Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (ACM Trans. Program. Lang. Syst., 2021)

Control-data separation and logical condition propagation for efficient inference on probabilistic programs. - Ichiro Hasuo; Yuichiro Oyabu; Clovis Eberhart; Kohei Suenaga; Kenta Cho 002; Shin-ya Katsumata (J. Log. Algebraic Methods Program., 2024)