7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.RO2025
AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
Christian Henkel, Marco Lampacrescia, Michaela Klauck +1
Designing robotic systems to act autonomously in unforeseen environments is a challenging task. This work presents a novel approach to use formal verification, specifically Statist…
cs.RO2021★ 7 cited
Optimized Execution of PDDL Plans using Behavior Trees
Francisco Martín, Matteo Morelli, Huascar Espinoza +2
Robots need task planning to sequence and execute actions toward achieving their goals. On the other hand, Behavior Trees provide a mathematical model for specifying plan execution…