KIT || Carnegie Mellon University, Dynamic Logic

This channel features videos accompanying the textbook on Logical Foundations of Cyber-Physical Systems, which teaches students the core principles behind CPSs.  CPSs combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks.

  https://book.lfcps.org/

The channel also features tutorial videos for the KeYmaera X theorem provers which are available for download from the links below.

Sincere thanks to Jessica Packer for her amazing video editing!