Naviga IRIS

Sfoglia per Autore

Ordina per:

In ordine:

Risultati/Pagina

Vai a una voce nell'indice:

O digita l'anno:

Mostrati risultati da 1 a 7 di 7

2010-01-01 Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando

2013-01-01 Pathak, Shashank; Luca, Pulina; Giorgio, Metta; Tacchella, Armando

2014-01-01 Pathak, Shashank; Metta, Giorgio; Tacchella, Armando

2014-01-01 Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando

2015-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando

2015-01-01 Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost Pieter

2016-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando

Titolo	Data di pubblicazione	Autore(i)
Safe Learning with Real-Time Constraints: A Case Study	1-gen-2010	Metta, Giorgio; Natale, Lorenzo; 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
Is verification a requisite for safe adaptive robots?	1-gen-2014	Pathak, Shashank; Metta, Giorgio; Tacchella, Armando
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
Testing a learn-verify-repair approach for safe human-robot interaction	1-gen-2015	Pathak, Shashank; Pulina, Luca; Tacchella, Armando
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
Evaluating probabilistic model checking tools for verification of robot control policies	1-gen-2016	Pathak, Shashank; Pulina, Luca; Tacchella, Armando

Mostrati risultati da 1 a 7 di 7