PULCINI, PAOLO
PULCINI, PAOLO
Dipartimento di Matematica, Informatica e Geoscienze
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking | 1-gen-2023 | Bortolussi L.Cairoli F.Carbone G.Pulcini P. |