Open to UnRAVeL-members: Automata-Theoretic Synthesis for Probabilistic Environments

Dienstag, 31.07.2018, 10.00 Uhr

Ort: Informatikzentrum, Seminarraum 4416, Informatik 7

Vortragender: Christoph Welzel

 

Christoph Welzel wird die Ergebnisse seiner Masterarbeit vorstellen: Automata-Theoretic Synthesis for Probabilistic Environments

 

Externe Links