Automata learning and intelligent tertiary searching for stochastic point location