A formal framework for the specification and verification of robotic skills composition for autonomous behaviors

Open Webpage

Baptiste Pelletier, Charles Lesire, Karen Godary-Dejean

Published: 01 Jan 2025, Last Modified: 26 Sept 2025Robotics Auton. Syst. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0