Consciousness Videos 14: Hybrid Systems & Games – Logical Foundations of Cyber-Physical Systems April 29, 2023KIT || Carnegie Mellon University, Dynamic Logic
