PULINA, LUCA
PULINA, LUCA
11 - Dipartimento di Informatica Sistemistica Telematica (DIST) (attivo dal 01/01/1984 al 18/07/2012)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
Evaluating probabilistic model checking tools for verification of robot control policies
2016-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
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 | |
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 |