Game-Theoretic Techniques in Logic and Verification

Co-Lecturer (with Prof. Anthony Lin and Dr Daniel Stan), Department of Computer Science, University of Kaiserslautern, 2021