Logics for Reasoning about Uncertainty: Lecture (Di, 20.07.2021)
  • Einbetten

Kapitel:

00:00:05
4.5 Model Checking Games for Logics with Team Semantics