KIT || Carnegie Mellon University Logic of Dynamical Systems Lab Video Channel

Please look at the KIT || Carnegie Mellon University, Logic of Dynamical Systems Video Channel.