Instructors
[BW] = Prof. Brian Williams
[EF] = Prof. Emilio Frazzoli
[SK] = Sertac Karaman
LEC # | TOPICS | KEY DATES |
---|---|---|
1 | Introduction [BW] | |
2 | Foundations I: state space search [BW] | |
3 | Foundations II: complexity of state space search [BW] | Problem set 1 due |
4 | Foundations III: soundness and completeness of search [SK] | |
5 | Constraints I: constraint programming [BW] | Problem set 2 due |
6 | Constraints II: constraint satisfaction [BW] | |
7 |
Constraints III: conflict-directed back jumping Planning I: activity planning [BW] | Problem set 3 due |
8 | Planning II: graph plan [BW] | |
9 | Planning III: plan termination and plan execution [BW] | Problem set 4 due |
10 | Model-based reasoning I: propositional logic and satisfiability [BW] | Problem set 5 due |
11 | Encoding planning problems as propositional logic satisfiability [SK] | |
Midterm exam | ||
12 | Model-based reasoning II: diagnosis and mode estimation [BW] | |
13 | Model-based reasoning III: OpSat and conflict-directed A* [BW] | Problem set 6 due |
14 | Global path planning I: informed search [EF] | |
15 | Global path planning II: sampling-based algorithms for motion planning [EF] | Final project part 1 due |
16 | Mathematical programming I [EF] | |
17 | Mathematical programming II: the simplex method [EF] | Problem set 7 due |
18 | Mathematical programming III: (mixed-integer) linear programming for vehicle routing and motion planning [EF] | |
19 | Reasoning in an uncertain world [BW] | Problem set 8 due |
20 | Inferring state in an uncertain world I: introduction to hidden Markov models [EF] | |
21 | Inferring state in an uncertain world II: hidden Markov models, the Baum-Welch algorithm [EF] | Problem set 9 due |
22 | Dynamic programming and machine learning I: Markov decision processes [EF] | |
23 | Dynamic programming and machine learning II: Markov decision processes, policy iteration [EF] |
Problem set 10 due Final project part 2 due |
24 | Game theory I: sequential games [EF] | |
25 | Game theory II: differential games [SK] |