Sfoglia per Rivista
More adaptive does not imply less safe (with formal verification)
2017-01-01 Pulina, Luca; Tacchella, A
Multi-level algorithm selection for ASP
2015-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
An ontology for historical research documents
2015-01-01 Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca
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 |
---|---|---|---|
More adaptive does not imply less safe (with formal verification) | 1-gen-2017 | Pulina, Luca; Tacchella, A | |
Multi-level algorithm selection for ASP | 1-gen-2015 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
An ontology for historical research documents | 1-gen-2015 | Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca | |
Testing a learn-verify-repair approach for safe human-robot interaction | 1-gen-2015 | Pathak, Shashank; Pulina, Luca; Tacchella, Armando |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile