Search Results for author: Natsuki Urabe

Found 1 papers, 1 papers with code

Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments

1 code implementation16 Nov 2018 Satoshi Kura, Natsuki Urabe, Ichiro Hasuo

To this goal, we devise a theory of supermartingales that overapproximate higher moments of runtime.

Logic in Computer Science

Cannot find the paper you are looking for? You can Submit a new open access paper.