Lv, Peng Li, Shaoyuan Mahulea, Cristian Denis, Bruno Faraut, Gregory Yin, Xiang Counting Time Temporal Logic for Multi-Robot Path Planning in Finite Horizons IEEE Trans. Autom. Sci. Eng. eng 2025

http://zaguan.unizar.es/record/165558/files/texto_completo.pdf; http://zaguan.unizar.es/record/165558/files/texto_completo.jpg?subformat=icon;

Imported from Invenio.