TY  - RPRT
TI  - PROSKILL: A formal skill language for acting in robotics
AU  - Félix Ingrand
PY  - 2025
UR  - https://arxiv.org/abs/2403.07770
ID  - 2403.07770
ER  -