Infinite Games in Epistemic Temporal Logic via Supervisory Control Theory

Lecture Series / Conference / Course : 
Games of Imperfect Information via Automata and Logic
Subject: 
Mathematics
Speaker: 
Guillaume Aucher
Youtube-url: 
https://youtu.be/UwWrk0FSQR4
Date: 
Saturday, December 7, 2013