Montreal, Canada, June 18-22, 2001
Merging Planning and Verification Techniques for "Safe Planning" in Space Robotics / Carlucci, Luigia; Cesta, A.; Giunchiglia, E.; Traverso, P.. - (2001).
Merging Planning and Verification Techniques for "Safe Planning" in Space Robotics
CARLUCCI, Luigia;
2001
Abstract
Montreal, Canada, June 18-22, 2001File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.