Schedule
Reading: The chapters Ch i.j for further reading refer to chapters in the textbook in addition to the lecture notes.
Lab Schedule
| Points | Assignment | Due | |||
|---|---|---|---|---|---|
| Lab 0 | 10 | Scavenger Hunt | code | Wed | 09/04 |
| Asst 1 | 60 | Introduction to Hybrid Programs | Wed | 09/11 | |
| Beta 1 | 20 | Robot on Rails (Betabot) | code | Wed | 09/11 |
| Lab 1 | 80 | Robot on Rails (Veribot) | code | Wed | 09/18 |
| Asst 2 | 60 | Loops and Proofs | Wed | 09/25 | |
| Beta 2 | 20 | Robots on Highways (Betabot) | Wed | 09/25 | |
| Lab 2 | 80 | Robots on Highways (Veribot) | Wed | 10/02 | |
| Asst 3 | 60 | Proofs, Diamonds, Differential Invariants | Mon | 10/07 | |
| Beta 3 | 20 | Robots on Racetracks (Betabot) | Mon | 10/14 | |
| Lab 3 | 80 | Robots on Racetracks (Veribot) | Mon | 10/21 | |
| Asst 4 | 60 | Differential Invariants and Nondeterministic Assignment | Fri | 10/25 | |
| Beta 4 | 20 | Robots in a Plane (Betabot) | code | Fri | 10/25 |
| Lab 4 | 80 | Robots in a Plane (Veribot) | code | Fri | 11/01 |
| Asst 5 | 60 | Differential Auxiliaries, dTL, Quantifier Elimination | Fri | 11/08 | |
| Beta 5 | 20 | Robots vs. Roguebots (Betabot) | code | Fri | 11/08 |
| Lab 5 | 80 | Robots vs. Roguebots (Veribot) | code | Fri | 11/15 |
| Beta 6 | 20 | Star-lab (Betabot) | Fri | 11/22 | |
| Lab 6 | 80 | Star-lab (Veribot) | Fri | 12/06 | |
| Paper | 100 | Term Paper | Mon | 12/09 | |
| Sum | 1010 | points listed | |||
The Lab and Assignment Schedule is tentative!
Theory assignments are due at start of lecture on the due day.
Programming lab assignments are due at 23:59 on the due day.
For an overview of the labs, see Labs & Assignments.