Sunday, March 27
Room E1.3/15
09:25 - 10:30 SESSION 1
09.25: Welcome
09.30: Invited Talk: Linear and Branching System Metrics
Mariëlle Stoelinga
(University of Twente, the Netherlands)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2
11.00: Invited Talk: Invariant Inference for Many-Object Systems
Viktor Kuncak (École Polytechnique Fédérale de Lausanne, Suisse)
12.00: Synthesizing Systems with Optimal Average-Case Behavior for Ratio
Objectives
Christian von Essen and Barbara Jobstmann (CNRS
Grenoble, France)
12:30 - 14:00 Lunch
14:00 - 16:00 SESSION 3
14:00: Invited Talk: TBA
Kim Larsen (Aalborg University,
Denmark)
15:00: Experimental aspects of synthesis
Rüdiger Ehlers (Saarland University,
Germany)
15:30: Synchronizing Objectives for Markov Decision Processes
Laurent
Doyen (LSV, ENS Cachan & CNRS, France), Thierry Massart
and Mahsa Shirmohammadi
(Université Libre de Bruxelles, Belgium)
16:00 - 16:30 Coffee
16:30 - 17:30 SESSION 4
16.30: LTL Fragment for GR(1)-Synthesis
Klaus Schneider and Andreas
Morgenstern (University of Kaiserslautern, Germany)
17.00: Memory Reduction via Delayed Simulation
Marcus Gelderie
and Michael Holtmann (RWTH Aachen University,
Germany)