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

[img]
Preview
PDF
Santoro_Scienze_Computazionali.pdf

Download (1MB) | Preview
Item Type: Tesi di dottorato
Language: English
Title: Formal methods in robotics: a probabilistic constraint nets approach
Creators:
CreatorsEmail
Santoro, MatteoUNSPECIFIED
Date: 2007
Date Type: Publication
Number of Pages: 127
Institution: Università degli Studi di Napoli Federico II
Department: Matematica e applicazioni "Renato Caccioppoli"
PHD name: Scienze computazionali e informatiche
PHD cycle: 19
PHD Coordinator:
nameemail
De Luca, AldoUNSPECIFIED
Tutor:
nameemail
Trautteur, GiuseppeUNSPECIFIED
Date: 2007
Number of Pages: 127
Uncontrolled Keywords: Robotics; Formal methods; Constraint nets
MIUR S.S.D.: 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

Actions (login required)

View Item View Item