Logics for Reasoning about Uncertainty: Lecture (Di, 22.06.2021)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:02:36
3.1 Qualitative fragment of PCTL (QPCTL)
00:26:59
4 Logics for Dependence, Independence, and Imperfect Information
00:33:51
4.1 History of logics of dependence