Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications

Enrico Saccon, Davide De Martini, Matteo Saveriano +3

We present a novel framework that integrates Large Language Models (LLMs) with automated planning and formal verification to streamline the creation and use of Markov Decision Proc…