A Translation of Probabilistic Event Calculus into Markov Decision Processes. - Lyris Xu; Fabio Aurelio D'Asaro; Luke Dickens (CoRR, 2025)