Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications
Published in IEEE Robotics and Automation Letters, 11(2): 1770-1777, 2025
Presents a novel framework that leverages logic programming and large language models (LLMs) to automatically generate Markov Decision Processes (MDPs) for complex robotic tasks.
Recommended citation: E. Saccon, D. De Martini, M. Saveriano, E. Lamon, L. Palopoli and M. Roveri, "Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications," in IEEE Robotics and Automation Letters, vol. 11, no. 2, pp. 1770-1777, Feb. 2026
Download Paper