Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS.

Tomás Brázdil Krishnendu Chatterjee Antonín Kucera Petr Novotný Dominik Velan Florian Zuleger

Published 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