Efficient Rare Event Estimation for Maxima of Branching Random Walks | IEEE Conference Publication | IEEE Xplore