vix.ing · top · new · best · stats · spec

Yuichiro Oyabu

  1. Ranking and Repulsing Supermartingales for Reachability in Randomized Programs
    2021/06/08 by Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe +1 · 7 citations