News
Final discussion sessions on Friday
Written on 07.02.2023 18:17 by Bernd Finkbeiner
Dear All, the warm-up questions for Friday are online; there is no problem set this week. See you on Friday for a final round of discussion sessions!
Automata, Games, and Verification
Bernd Finkbeiner, Hadar Frenkel