Giuseppe Maria Gallo

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 5

Top Topics

Mazurkiewicz Traces

Transition Systems

Top Venues

Publications

Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. TACAS (1) (2022)
Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretínský, Laura Nenzi
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. CoRR (2022)
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
A kernel function for Signal Temporal Logic formulae. CoRR (2020)
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
A kernel function for Signal Temporal Logic formulae. OVERLAY (2020)
Carlo Bianca, Giuseppe Maria Gallo, Santo Motta
Tumor escape: A mathematical model. BIBM (2017)