Theses most similar to Automated verification of model-based programs under uncertainty (Mahtab, Tazeen, 1981-; 2004) read it
- Advisor: Brian C. Williams
- Department of Electrical Engineering and Computer Science
Timed model-based programming : executable specifications for robust mission-critical sequences
Ingham, Michel D. (Michel Donald), 1972- (2003)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
Model-based monitoring and diagnosis of systems with software-extended behavior
Mikaelian, Tsoline (2005)
- 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
- Advisors: Leslie Kaelbling; Robert A. Brown
- Department of Electrical Engineering and Computer Science
Model-based planning through constraint and causal order decomposition
Chung, Seung H. (Seung Hwa), 1975- (2008)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisors: Deyst, John J. (John Jacob); Wallace E. VanderVelde
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Electrical Engineering and Computer Science
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