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
  • Academic Honesty Policy: Review WPI’s Academic Honesty Policies at: link. Rule of thumb: Any work you present as your own should represent your own understanding of the material