Oct 30, 2017 by
a file upload
Reading: Chapters 11, 12, and 15 of Lee & Seshia.
Lee & Seshia, Chapter 11 (Multitasking): Exercises 2, 3
Lee & Seshia, Chapter15 (Reachability Analysis and Model Checking): Exercise 3
Lee & Seshia, Chapter12 (Scheduling): Exercise 1, 2
Graduate students also do:
You've already rated students with this rubric. Any major changes could affect their assessment results.