Carlucci Aiello, Luigia
Carlucci Aiello, Luigia
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
Merging Planning and Verification Techniques for `Safe Planning` in Space Robotics
2001-01-01 Carlucci Aiello, Luigia; Amedeo, Cesta; Enrico, Giunchiglia; Traverso, Paolo
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
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 |
---|---|---|---|
Merging Planning and Verification Techniques for `Safe Planning` in Space Robotics | 1-gen-2001 | Carlucci Aiello, Luigia; Amedeo, Cesta; Enrico, Giunchiglia; Traverso, Paolo | |
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 | |
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 |