An Upper Bound for the Reachability Problem of Safe, Elementary Hornets Köhler-Bußmeier, Michael Heitmann, Frank 2016 - ReposIt