Logics for Reasoning about Uncertainty: Lecture (Di, 20.07.2021)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Kapitel:

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