Logical Foundations of Cyber-Physical Systems (Winter 2025) · HackerTrans