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:
| 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 dottorato | e-mail (se nota) |
|---|
| De Luca, Aldo | |
|
|---|
| Tutor della Scuola di dottorato: | | Tutor del Corso di dottorato | e-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
|
![[img]](http://www.fedoa.unina.it/style/images/fileicons/application_pdf.png)
