Courses by André Platzer @ KIT || Carnegie Mellon University

  1. Home
  2. >>
  3. Courses

Overview

Current, past, and upcoming courses that I teach at Karlsruhe Institute of Technology (KIT) or at Carnegie Mellon University. If you want to do research in my group you should sign up for the Logical Foundations of Cyber-Physical Systems course.

Course: Logical Foundations of Cyber-Physical Systems