An Upper Bound for the Reachability Problem of Safe, Elementary Hornets.

Michael Köhler-Bußmeier Frank Heitmann

Published in: CS&P (2014)

Keyphrases

upper bound
lower bound
worst case
branch and bound
branch and bound algorithm
state space

upper and lower bounds
transitive closure
lower and upper bounds
high level
neural network
error probability

generalization error
probability distribution
special case
user interface
objective function

decision making
artificial intelligence
data mining
real world
databases