Lecture Notes on Winning & Proving Hybrid Games