Santoro, Matteo (2007) Formal methods in robotics: a probabilistic constraint nets approach. [Tesi di dottorato] (Unpublished)
Preview |
PDF
Santoro_Scienze_Computazionali.pdf Download (1MB) | Preview |
| Item Type: | Tesi di dottorato |
|---|---|
| Resource language: | English |
| Title: | Formal methods in robotics: a probabilistic constraint nets approach |
| Creators: | Creators Email Santoro, Matteo UNSPECIFIED |
| Date: | 2007 |
| Date type: | Publication |
| Number of Pages: | 127 |
| Institution: | Università degli Studi di Napoli Federico II |
| Department: | Matematica e applicazioni "Renato Caccioppoli" |
| Dottorato: | Scienze computazionali e informatiche |
| Ciclo di dottorato: | 19 |
| Coordinatore del Corso di dottorato: | nome email De Luca, Aldo UNSPECIFIED |
| Tutor: | nome email Trautteur, Giuseppe UNSPECIFIED |
| Date: | 2007 |
| Number of Pages: | 127 |
| Keywords: | Robotics; Formal methods; Constraint nets |
| Settori scientifico-disciplinari del MIUR: | Area 01 - Scienze matematiche e informatiche > INF/01 - Informatica |
| Date Deposited: | 14 May 2008 |
| Last Modified: | 30 Apr 2014 19:26 |
| URI: | http://www.fedoa.unina.it/id/eprint/1617 |
| DOI: | 10.6092/UNINA/FEDOA/1617 |
Downloads
Downloads per month over past year
Actions (login required)
 |
View Item |
