co-autore : Antonio Natali

CEUR Workshop Proceedings (CEUR-WS.org)

Lecture Notes in Computer Science (LNCS)

Applied Logic Series (APLS)

Studies in Computer Science and Artificial Intelligence (SCSAI)

Proceedings – IEEE International Conference on Robotics and Automation (ICRA)