Urabe, Natsuki

1. 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
2. Coalgebraic Trace Semantics for Buechi and Parity Automata
   2016/06/30 by Natsuki Urabe, Shunsuke Shimizu, Urabe, Natsuki +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
3. Categorical Liveness Checking by Corecursive Algebras
   2017/04/17 by Urabe, Natsuki, Hara, Masaki, Hasuo, Ichiro · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)