Algorithms for autonomous urban navigation with formal specifications
Thesis: E.A.A., Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, 2014.
Главный автор: | Chaudhari, Pratik (Pratik Anil) |
---|---|
Другие авторы: | Emilio Frazzoli. |
Формат: | Диссертация |
Язык: | eng |
Опубликовано: |
Massachusetts Institute of Technology
2014
|
Предметы: | |
Online-ссылка: | http://hdl.handle.net/1721.1/90726 |
Схожие документы
-
Algorithms for minimum-violation planning with formal specifications
по: Reyes Castro, Luis I. (Luis Ignacio), и др.
Опубликовано: (2014) -
Incremental sampling based algorithms for state estimation
по: Chaudhari, Pratik (Pratik Anil)
Опубликовано: (2013) -
Autonomous navigation of distributed spacecraft using intersatellite laser communications
по: Dave, Pratik K.(Pratik Kamlesh)
Опубликовано: (2020) -
Using a co-located GNSS radio occultation payload for microwave radiometer calibration
по: Davé, Pratik K. (Pratik Kamlesh)
Опубликовано: (2015) -
Investigating the readability of formal specification languages
по: Zimmerman, Marc Kenton, 1975-
Опубликовано: (2013)