Propagating Updates in Real-Time Search: HLRTA*(k) | Publicación