Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
2.01.800-H Proseminar: Modellierung und Analyse Probabilistischer Systeme -
Event date(s) | room
Description
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.
Lecturers
SWS
2