Matteo Belenchia

According to our database, Matteo Belenchia authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Implementing a CTL Model Checker with μ <i>G</i>, a Language for Programming Graph Neural Networks.

Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2021

About the Intricacy of Tasks.

Leonard M. Eberding, Matteo Belenchia, Arash Sheikhlar, Kristinn R. Thórisson

Proceedings of the Artificial General Intelligence - 14th International Conference, 2021

Elements of Task Theory.

Matteo Belenchia, Kristinn R. Thórisson, Leonard M. Eberding, Arash Sheikhlar

Proceedings of the Artificial General Intelligence - 14th International Conference, 2021