News
Zoom recording of Lecture 8
Written on 22.12.2022 10:04 by Hadar Frenkel
Dear All, We have uploaded the zoom recording of Lecture 8. We wish you Happy Holidays!
Automata, Games, and Verification
Bernd Finkbeiner, Hadar Frenkel
Written on 22.12.2022 10:04 by Hadar Frenkel
Dear All, We have uploaded the zoom recording of Lecture 8. We wish you Happy Holidays!