You can download the lecture notes of the course Automata, Games and Verification by Prof. Bernd Finkbeiner on the course website.
A sharing platform for the Computer-Aided Verification community
You can download the lecture notes of the course Automata, Games and Verification by Prof. Bernd Finkbeiner on the course website.