Natsuki Urabe

1. Ranking and Repulsing Supermartingales for Reachability in Randomized Programs
   2021/06/08 by Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe +1 · 7 citations
2. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments
   2018/11/16 by Satoshi Kura, Natsuki Urabe, Kura, Satoshi +3 · 4 citations
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research
3. Coalgebraic Trace Semantics for Buechi and Parity Automata
   2016/06/30 by Natsuki Urabe, Urabe, Natsuki, Shunsuke Shimizu +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory