[2402.13440] A Neuro-Symbolic Approach to Multi-Agent RL for Interpretability and Probabilistic Decision Making