PATHAK, SHASHANK

PATHAK, SHASHANK  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
A greedy approach for the efficient repair of stochastic models 1-gen-2015 Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost Pieter
Engineering approaches and methods to verify software in autonomous systems 1-gen-2014 Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub 1-gen-2013 Pathak, Shashank; Luca, Pulina; Giorgio, Metta; Tacchella, Armando
Evaluating probabilistic model checking tools for verification of robot control policies 1-gen-2016 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Is verification a requisite for safe adaptive robots? 1-gen-2014 Pathak, Shashank; Metta, Giorgio; Tacchella, Armando
Safe Learning with Real-Time Constraints: A Case Study 1-gen-2010 Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Testing a learn-verify-repair approach for safe human-robot interaction 1-gen-2015 Pathak, Shashank; Pulina, Luca; Tacchella, Armando