1 code implementation • 16 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