TY  - RPRT
TI  - Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications
AU  - Enrico Saccon
AU  - Davide De Martini
AU  - Matteo Saveriano
AU  - Edoardo Lamon
AU  - Luigi Palopoli
AU  - Marco Roveri
PY  - 2025
DO  - 10.1109/lra.2025.3643276
UR  - https://arxiv.org/abs/2511.23143
ID  - 2511.23143
ER  -