ESTEC, Noordwijk, The Netherland, October, 17-19 2001
Planning and Verification Techniques for the high level programming and monitoring of autonomous robotic devices / Carlucci, Luigia; Cesta, A.; Giunchiglia, E.; Traverso, P.. - (2001), pp. 331-338.
Planning and Verification Techniques for the high level programming and monitoring of autonomous robotic devices
CARLUCCI, Luigia;
2001
Abstract
ESTEC, Noordwijk, The Netherland, October, 17-19 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.