Point-based Value Iteration for Neuro-Symbolic POMDPs. - Yan, Rui; Santos, Gabriel; Norman, Gethin; Parker, David; Kwiatkowska, Marta (CoRR, 2023)