Up a level |
Ancona, D ORCID: 0000-0002-6297-2011, Ferrando, A ORCID: 0000-0002-8711-4670 and Mascardi, V ORCID: 0000-0002-2261-9926
(2022)
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps.
.
Losapio, G ORCID: 0000-0002-1024-7512, Minutoli, F ORCID: 0000-0002-5472-7673, Mascardi, V and Ferrando, A ORCID: 0000-0002-8711-4670
(2021)
Smart balancing of E-scooter sharing systems via deep reinforcement learning.
.
Ancona, D, Franceschini, L, Ferrando, A ORCID: 0000-0002-8711-4670 and Mascardi, V
(2019)
A deterministic event calculus for effective runtime verification.
.