@article{automatedgenerationofmdpsusinglogicprogr,
  title = {Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications},
  author = {Enrico Saccon and Davide De Martini and Matteo Saveriano and Edoardo Lamon and Luigi Palopoli and Marco Roveri},
  year = {2025},
  eprint = {2511.23143},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2511.23143},
}