Logical Foundations of Cyber-Physical Systems (Winter 2025)
symbolaris.com