Tail probabilities for randomized program runtimes via martingales for higher moments

DOI10.1007/978-3-030-17465-1_8zbMath1527.68037arXiv1811.06779OpenAlexW2964102784MaRDI QIDQ6091407

Ichiro Hasuo, Satoshi Kura, Natsuki Urabe

Publication date: 24 November 2023

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.06779

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Generalizations of martingales (60G48) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Distribution estimation for probabilistic loops ⋮ Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops

This page was built for publication: Tail probabilities for randomized program runtimes via martingales for higher moments