Login / Signup
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:
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