1 citations · 1 across the 2 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2025
A formal implementation of Behavior Trees to act in robotics
Felix Ingrand
Behavior Trees (BT) are becoming quite popular as an Acting component of autonomous robotic systems. We propose to define a formal semantics to BT by translating them to a formal l…
cs.RO2024★ 1 cited
PROSKILL: A formal skill language for acting in robotics
Félix Ingrand
Acting is an important decisional function for autonomous robots. Acting relies on skills to implement and to model the activities it oversees: refinement, local recovery, temporal…