Slides with completed exercises will be available on Canvas after lecture.
| L00: Intro | Pre-Lecture Slides |
|
| L01: Symbolic Reasoning | Pre-Lecture Slides |
Handout |
| L02: Lisp Introduction | Pre-Lecture Slides |
Handout |
| L03: Search | Pre-Lecture Slides |
Handout |
| L04: Informed Search | Pre-Lecture Slides |
Handout |
| L05: Propositional Calculus | Pre-Lecture Slides |
Handout |
| L06: Predicate Calculus | Pre-Lecture Slides |
Handout |
| L07: Situation Calculus | Pre-Lecture Slides |
Handout |
| L08: SATPlan | Pre-Lecture Slides |
Handout |
| L09: Planning Graphs (GRAPHPlan) | Pre-Lecture Slides |
Handout |
| L10: Fast-Forward Planning | Pre-Lecture Slides |
Handout |
| L11: Rotation | Pre-Lecture Slides |
Handout |
| L12: Euclidean Transformation | Pre-Lecture Slides |
Handout |
| L13: Configuration Space | Pre-Lecture Slides |
Handout |
| L14: Sampling-based Motion Planning | Pre-Lecture Slides |
Handout |
| L15: Velocity Kinematics | Pre-Lecture Slides |
Handout |
| L16: Optimization and Kinematics | Pre-Lecture Slides |