Login / Signup
Matteo Tadiello
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Decision Trees
Temporal Relations
Collision Avoidance
Human Behaviour
Top Venues
FMAS/ASYDE@SEFM
COMPSAC
</>
Publications
</>
Matteo Tadiello
,
Elena Troubitsyna
Verifying Safety of Behaviour Trees in Event-B.
FMAS/ASYDE@SEFM
(2022)
Marco Moletta
,
Matteo Tadiello
Comparison of Collision Avoidance Algorithms for Autonomous Multi-agent Systems.
COMPSAC
(2020)