Separation of distributed coordination and control for programming reliable robotics

Made available in DSpace on 2020-10-07T20:59:55Z (GMT). No. of bitstreams: 2 GHOSH-DISSERTATION-2020.pdf: 5711274 bytes, checksum: 60801584e32a9632d4bd7bfd1743e6c5 (MD5) LICENSE.txt: 4210 bytes, checksum: f2dc51ebbf42efab5e722f4638193a7a (MD5) Previous issue date: 2020-07-16

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2020

Author dc:creator

• Ghosh, Ritwika

Contributors dc:contributor

• Mitra, Sayan
• Dullerud, Geir E
• Johnson, Taylor T
• Misailovic, Sasa

• Programming Languages
• Robotics
• Distributed Systems
• Formal Methods
• Verification

Statement dc:rights

• Copyright 2020 Ritwika Ghosh

Language dc:language

en

Handle dc:identifier

http://hdl.handle.net/2142/108501

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/108501