Theses most similar to Algorithms for autonomous urban navigation with formal specifications (Chaudhari, Pratik (Pratik Anil); 2014) read it
- Advisors: D. Simeste; J.N. Tsitsiklis
- Operations Research Center
- Advisor: Paul I. Barton
- Department of Chemical Engineering
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Emilio Frazzoli
- Department of Mechanical Engineering
- Advisors: Anouck Girard; Schmidt, Brian W. (Brian William)
- Department of Aeronautics and Astronautics
- Advisor: Emilio Frazzoli
- Department of Electrical Engineering and Computer Science
Topics in distributed computing : the impact of partial synchrony, and modular decomposition of algorithms
Welch, Jennifer (1988)
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Brian C. Williams
- Department of Electrical Engineering and Computer Science
Algorithms for minimum-violation planning with formal specifications
Chaudhari, Pratik; Karaman, Sertac; Reyes Castro, Luis I. (Luis Ignacio); Tůmová, Jana (2014)
- Advisor: Emilio Frazzoli
- Department of Aeronautics and Astronautics
Automated synthesis of low-rank stochastic dynamical systems using the tensor-train decomposition
Alora, John Irvin P (2016)
- Advisor: Sertac Karaman
- Department of Aeronautics and Astronautics