RBE595: Formal methods in Robotics
Fall Semester, 2017
RBE595: Ground Rules
Homework: Homework will be assigned regularly. All homework will have a due date and no late homework will be accepted. Selected homework problems will be graded for credit. Details on online homework submissions will be provided.
Exam: One midterm exame will be given. Exams can be partially or completely take-home exams. Make-ups will only be granted to the students who have an acceptable excuse approved in advance. Midterm exam is worth 30% of the total score.
Project: Project teams of 1-3 students will complete a high-quality, results-oriented course project. Project deliverables include a conference-quality technical paper, project reports and a final presentation. Project grade is 30% of the total score.
Grading: You must complete all the assignments and project, and you must take all the exams to receive a passing grade in the course.
Homework | 25 |
Midterm Exam | 35 |
Project | 40
|
|