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

Tuesday, 31.07.2018, 10:00am

Location: Department of Computer Science, seminar room 4416, Informatik 7

Speaker: Christoph Welzel

 

Christoph Welzel will present the results of his Master's thesis: Automata-Theoretic Synthesis for Probabilistic Environments

 

 

External Links