Category Talks

Aim The aim of this course is to introduce the mathematical theory and algorithmic results about graph-games, to convey how graph-games form the foundation of formal-methods, and how they are used in AI. Lecturer Sasha Rubin, University of Naples “Federico…