We stand with Ukraine  

Matteo Tadiello

Orcid: 0000-0002-2201-5129

According to our database1, Matteo Tadiello authored at least 2 papers between 2020 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Verifying Safety of Behaviour Trees in Event-B.
[BibTeX]
[DOI]
Matteo Tadiello
,
Elena Troubitsyna
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

2020
Comparison of Collision Avoidance Algorithms for Autonomous Multi-agent Systems.
[BibTeX]
[DOI]
Marco Moletta
,
Matteo Tadiello
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020


  Loading...