Optimal path-planning under finite memory obstacle dynamics based on probabilistic finite state automata models | IEEE Conference Publication | IEEE Xplore