Title : Autonomous robot motion in complex environments: Specification and verification

Type of Material: Thesis
Title: Autonomous robot motion in complex environments: Specification and verification
Researcher: Sowmya, A
Guide: Ramesh, S
Department: Department of Computer Science and Engineering
Publisher: Indian Institute of Technology-Bombay
Place: Mumbai
Year: 1991
Language: English
Subject: Engineering
Computer Science
System Identification
Linear Time
Dissertation/Thesis Note: PhD

00000000ntm a2200000ua 4500
0016237
003IN-AhILN
0052011-01-13 00:00:00
008__911231t1991||||ii#||||g|m||||||||||eng||
035__|a(IN-AhILN)th_6237
040__|aIITB_400076|dIN-AhILN
041__|aeng
100__|aSowmya, A|eResearcher
110__|aDepartment of Computer Science and Engineering|bIndian Institute of Technology-Bombay|dMumbai|eIn
245__|aAutonomous robot motion in complex environments: Specification and verification
260__|aMumbai|bIndian Institute of Technology-Bombay|c1991
502__|bPhD
653__|aEngineering
653__|aComputer Science
653__|aSystem Identification
653__|aLinear Time
700__|aRamesh, S|eGuide
905__|anotification

User Feedback Comes Under This section.