Login / Signup
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms.
Benjamin Lucien Kaminski
Joost-Pieter Katoen
Christoph Matheja
Federico Olmedo
Published in:
J. ACM (2018)
Keyphrases
</>
randomized algorithms
approximation algorithms
lower bound
worst case
knowledge base
randomized algorithm
upper bound
learning algorithm
machine learning
computational complexity
scheduling problem
online learning
practical problems
approximation ratio