Point-based Value Iteration for Neuro-Symbolic POMDPs