Formal methods in robotics: a probabilistic constraint nets approach

Santoro, Matteo (2007) Formal methods in robotics: a probabilistic constraint nets approach. [Tesi di dottorato] (Inedito)

Full text disponibile come:

[img]PDF - Richiede un editor Pdf del tipo GSview, Xpdf o Adobe Acrobat Reader
1349Kb

Tipologia di documento:Tesi di dottorato
Parole chiave:Robotics; Formal methods; Constraint nets
Settori scientifico-disciplinari MIUR:Area 01 Scienze matematiche e informatiche > INF/01 INFORMATICA
Coordinatori della Scuola di dottorato:
Coordinatore del Corso di dottoratoe-mail (se nota)
De Luca, Aldo
Tutor della Scuola di dottorato:
Tutor del Corso di dottoratoe-mail (se nota)
Trautteur, Giuseppe
Stato del full text:Accessibile
Data:2007
Numero di pagine:127
Istituzione:Università degli Studi di Napoli Federico II
Dipartimento o Struttura:Matematica ed Applicazioni
Tipo di tesi:Dottorato
Stato dell'Eprint:Inedito
Denominazione del dottorato:Scienze Computazionali ed Informatiche
Ciclo di dottorato:XIX
Numero di sistema:1617
Depositato il:14 Maggio 2008
Ultima modifica:04 Febbraio 2009 09:44

Solo per gli Amministratori dell'archivio: edita il record