Probabilistic Mission Design in Neuro-Symbolic Systems