Telecharger Cours

MPRI Game Theory Techniques in Computer Science - l'IRIF

An overview of applications of two player path-forming games to verification and synthesis is given. Several ex- tensions of the standard model of finite ...



Download