The Institute of Mathematical Sciences

Conference videos

INFINITE GAMES IN EPISTEMIC TEMPORAL LOGIC VIA SUPERVISORY CONTROL THEORY


Play time: 59m:30s

The player will show in this paragraph