G

Game theory WS21

Game-Theoretic Techniques in Logic and Verification