PATHAK, SHASHANK
PATHAK, SHASHANK
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.006 secondi).
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 |