Showing cs.ROShow all
2 papers · 1 filter
cs.RO2025
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…
cs.RO2025
Extracting Visual Plans from Unlabeled Videos via Symbolic Guidance
Wenyan Yang, Ahmet Tikna, Yi Zhao +4
Visual planning, by offering a sequence of intermediate visual subgoals to a goal-conditioned low-level policy, achieves promising performance on long-horizon manipulation tasks. T…