Giuseppe Maria Gallo

According to our database, Giuseppe Maria Gallo authored at least 3 papers between 2017 and 2022.

Collaborative distances:

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

2022

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes.

Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020

A kernel function for Signal Temporal Logic formulae.

Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

2017

Tumor escape: A mathematical model.

Carlo Bianca, Giuseppe Maria Gallo, Santo Motta

Proceedings of the 2017 IEEE International Conference on Bioinformatics and Biomedicine, 2017