Theses most similar to Generalized conflict learning for hybrid discrete/linear optimization (Li, Hui (Hui Xylo); 2005) read it
Solving optimal satisfiability problems through clause-directed A*
Ragno, Robert J. (Robert John), 1977- (2002)
- Advisor: Brian C. Williams
- Department of Electrical Engineering and Computer Science
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
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Leslie Pack Kaelbling
- Department of Electrical Engineering and Computer Science
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
Fast, approximate state estimation of concurrent probabilistic hybrid automata
Timmons, Eric (Eric M.) (2013)
- 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
Hierarchical planning and scheduling of looping a activities for robotic scouts
Paterson, James G. (James Gordon) (2014)
- Advisor: Brian C. Williams
- 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