Theses most similar to those of author Levine, Steven James
Monitoring the execution of temporal plans for robotic systems (2012) read it
- Advisors: Brian C. Williams; Gregory T. Sulliva
- Department of Electrical Engineering and Computer Science
Managing temporal uncertainty under limited communication : a formal model of tight and loose team coordination
Stedl, John L., 1974- (2004)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
Coordinating agile systems through the model-based execution of temporal plans
Léauté, Thomas (2005)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
Safe distributed coordination of heterogeneous robots through dynamic simple temporal networks
Wehowsky, Andreas Frederik, 1977- (2003)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
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
A factored planner for the temporal coordination of autonomous systems
Wang, David Cheng-Ping (2015)
- Advisors: Brian C. Williams; Saman Amarasinghe
- Department of Aeronautics and Astronautics
Algorithms for autonomous urban navigation with formal specifications
Chaudhari, Pratik (Pratik Anil) (2014)
- Advisor: Emilio Frazzoli
- Department of Aeronautics and Astronautics