21 citations · 21 across the 2 of their papers we have counts for
2 papers
cs.FL2023
Synthesis of Procedural Models for Deterministic Transition Systems
Javier Segovia-Aguas, Jonathan Ferrer-Mestres, Sergio Jiménez
This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts differen…
cs.RO2017★ 21 cited
Combined Task and Motion Planning as Classical AI Planning
Jonathan Ferrer-Mestres, Guillem Francès, Hector Geffner
Planning in robotics is often split into task and motion planning. The high-level, symbolic task planner decides what needs to be done, while the motion planner checks feasibility…