PATHAK, SHASHANK
PATHAK, SHASHANK
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A greedy approach for the efficient repair of stochastic models
2015-01-01 Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost Pieter
Engineering approaches and methods to verify software in autonomous systems
2014-01-01 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
2013-01-01 Pathak, Shashank; Luca, Pulina; Giorgio, Metta; Tacchella, Armando
Evaluating probabilistic model checking tools for verification of robot control policies
2016-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Is verification a requisite for safe adaptive robots?
2014-01-01 Pathak, Shashank; Metta, Giorgio; Tacchella, Armando
Safe Learning with Real-Time Constraints: A Case Study
2010-01-01 Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Testing a learn-verify-repair approach for safe human-robot interaction
2015-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
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 |