Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS.
Tomás BrázdilKrishnendu ChatterjeeAntonín KuceraPetr NovotnýDominik VelanFlorian ZulegerPublished in: CoRR (2018)
Keyphrases
- rates of convergence
- worst case
- finite sample
- large deviations
- asymptotically optimal
- asymptotic optimality
- lower bound
- upper bound
- upper and lower bounds
- closed form expressions
- error bounds
- statistical learning theory
- term rewriting
- average case
- lower and upper bounds
- sample size
- loss bounds
- tight bounds
- uniform convergence
- expected values
- artificial intelligence
- data mining