Games of Imperfect Information via Automata & Logic

# You can also click the upper-left icon to select videos from the playlist.

source: matsciencechannel    2013年12月10日

001 Infinite Games in Epistemic Temporal Logic via Supervisory Control Theory 59:31
002 Specifying Robustness 1:01:32
003 Uniform Strategies, Rational Relations and Jumping Automata 1:04:25
004 Playing Infinite Games without a Full Deck 48:48
005 Rationality in Games of Infinite Duration 1:01:58
006 On Weakly Acylic Games 47:52
007 Question Answer Games 1:00:27
008 Recurrent Certainty in Games of Partial Information 44:56
009 On Epistermic Reasoning of Players in Dynamic Games 43:52
010 Parity Games on Multi- Pushdown Systems 44:04