Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices
2001-01-01 Carlucci Aiello, Luigia; A., Cesta; E., Giunchiglia; Pistore, Marco; Traverso, Paolo
Merging Planning and Verification Techniques for `Safe Planning` in Space Robotics
2001-01-01 Carlucci Aiello, Luigia; Amedeo, Cesta; Enrico, Giunchiglia; Traverso, Paolo
Robotics and Disabilities
2003-01-01 Carlucci Aiello, Luigia; Benedetti, Marco; Bernardini, Sara
SAT-Based Cooperative Planning: A Proposal
2004-01-01 Benedetti, Marco; Carlucci Aiello, Luigia
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices | 1-gen-2001 | Carlucci Aiello, Luigia; A., Cesta; E., Giunchiglia; Pistore, Marco; Traverso, Paolo | |
Merging Planning and Verification Techniques for `Safe Planning` in Space Robotics | 1-gen-2001 | Carlucci Aiello, Luigia; Amedeo, Cesta; Enrico, Giunchiglia; Traverso, Paolo | |
Robotics and Disabilities | 1-gen-2003 | Carlucci Aiello, Luigia; Benedetti, Marco; Bernardini, Sara | |
SAT-Based Cooperative Planning: A Proposal | 1-gen-2004 | Benedetti, Marco; Carlucci Aiello, Luigia |
Mostrati risultati da 1 a 4 di 4
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