I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Annual Seminar

2018

Location

Hotel Gut Moierhof, Walting

Program

March 15
08:30 Departure
10:00 – 10:30 Arrival
10:30 – 12:00 Session I (chair: Pranav Ashok)
10:30 – 11:10 Introducing Conditional Value-at-Risk for MDP
Tobias Meggendorfer
11:10 – 11:20 Short break
11:20 – 12:00 Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
Maxi Weininger
12:00 – 13:30 Lunch
13:30 – 15:00 Session II (chair: Christian Müller)
13:30 – 14:10 Strix: Explicit Reactive Synthesis Strikes Back!
Philipp Meyer and Salomon Sickert
14:10 – 14:20 Short break
14:20 – 15:00 One Theorem to Rule Them All: A Unified Translation of LTL into Automata
Salomon Sickert
15:00 – 16:30 Session III (chair: Tobias Meggendorfer)
15:00 – 15:40 Multi-agent Workflows - Invariants to the Rescue
Christian Müller
15:40 – 15:50 Short break
15:50 – 16:30 Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States
Michael Blondin
16:30 – 17:00 Coffee break
17:00 – 18:00 Session IV (chair: Philipp Meyer)
17:00 – 18:00 On the Analysis of Population Protocols
Michael Blondin
18:00 – 19:00 Free time
19:00 – 20:00 Dinner
March 16
09:00 – 10:00 Breakfast
10:00 – 13:00 Hiking in the Altmühltal
13:00 – 14:00 Lunch
14:00 Departure