PULINA, LUCA
PULINA, LUCA
11 - Dipartimento di Informatica Sistemistica Telematica (DIST) (attivo dal 01/01/1984 al 18/07/2012)
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
Evaluating probabilistic model checking tools for verification of robot control policies
2016-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
NeVer2: learning and verification of neural networks
2024-01-01 Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A.
Translation-based approaches for solving disjunctive temporal problems with preferences
2018-01-01 Giunchiglia, E.; Maratea, M.; Pulina, L.
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows
2016-01-01 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Evaluating probabilistic model checking tools for verification of robot control policies | 1-gen-2016 | Pathak, Shashank; Pulina, Luca; Tacchella, Armando | |
| NeVer2: learning and verification of neural networks | 1-gen-2024 | Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A. | |
| Translation-based approaches for solving disjunctive temporal problems with preferences | 1-gen-2018 | Giunchiglia, E.; Maratea, M.; Pulina, L. | |
| Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows | 1-gen-2016 | Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico |