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

[img]
Anteprima
PDF
Santoro_Scienze_Computazionali.pdf

Download (1MB) | Anteprima
Tipologia del documento: Tesi di dottorato
Lingua: English
Titolo: Formal methods in robotics: a probabilistic constraint nets approach
Autori:
AutoreEmail
Santoro, Matteo[non definito]
Data: 2007
Tipo di data: Pubblicazione
Numero di pagine: 127
Istituzione: Università degli Studi di Napoli Federico II
Dipartimento: Matematica e applicazioni "Renato Caccioppoli"
Dottorato: Scienze computazionali e informatiche
Ciclo di dottorato: 19
Coordinatore del Corso di dottorato:
nomeemail
De Luca, Aldo[non definito]
Tutor:
nomeemail
Trautteur, Giuseppe[non definito]
Data: 2007
Numero di pagine: 127
Parole chiave: Robotics; Formal methods; Constraint nets
Settori scientifico-disciplinari del MIUR: Area 01 - Scienze matematiche e informatiche > INF/01 - Informatica
Depositato il: 14 Mag 2008
Ultima modifica: 30 Apr 2014 19:26
URI: http://www.fedoa.unina.it/id/eprint/1617
DOI: 10.6092/UNINA/FEDOA/1617

Actions (login required)

Modifica documento Modifica documento