Comparison of Collision Avoidance Algorithms for Autonomous Multi-agent Systems. - Marco Moletta; Matteo Tadiello (COMPSAC, 2020)

Verifying Safety of Behaviour Trees in Event-B. - Matteo Tadiello; Elena Troubitsyna (FMAS/ASYDE@SEFM, 2022)