Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS.
Tomás BrázdilKrishnendu ChatterjeeAntonín KuceraPetr NovotnýDominik VelanFlorian ZulegerPublished in: LICS (2018)
Keyphrases
- rates of convergence
- worst case
- finite sample
- large deviations
- asymptotically optimal
- upper bound
- asymptotic optimality
- lower bound
- sample size
- closed form expressions
- upper and lower bounds
- uniform convergence
- error bounds
- worst case analysis
- average case
- real time
- statistical learning theory
- theoretical guarantees
- generalization bounds
- expected values
- empirical risk
- loss bounds
- term rewrite systems
- marginal likelihood
- tight bounds
- active rules
- lower and upper bounds
- model selection
- reinforcement learning
- feature selection
- neural network