Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
2.01.800-H Proseminar: Modellierung und Analyse Probabilistischer Systeme -
Veranstaltungstermin | Raum
Beschreibung
Zufall kann in der Informatik verwendet werden, um Unsicherheit über ein System zu beschreiben, das durchschnittliche Verhalten eines Systems zu verbessern, oder sich gegen Angreifer abzusichern. In diesem Proseminar werden wir einige häufig verwendete Modelle zur Beschreibung und Analyse von probabilistischen Systemen kennenlernen, die Entscheidungen basierend auf Zufallsexperimenten treffen können.
Als Grundlage für das Proseminar dient das Buch "Decision Procedures" von Daniel Kroening und Ofer Strichman.
Lehrende
SWS
2