Accepted papers

• An Expressive Timed Modal Mu-Calculus for Timed Automata
  Rance Cleaveland, Jeroen J.A. Keiren and Peter Fontana.

• MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by using Imprecise Symbol Filters
  Paul Kogel, Wolffhardt Schwabe and Sabine Glesner.

• Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
  Christel Baier, Calvin Chau and Sascha Klüppelholz.

• On Parametric DBMs and their applications to time Petri nets
  Loriane Leclercq, Didier Lime and Olivier H. Roux.

• Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
  Gabriel Dengler, Laura Carnevali, Carlos E. Budde and Enrico Vicario.

• IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
  Ben Wooding and Abolfazl Lavaei.

• Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards
  Benoit Barbot, Damien Busatto-Gaston, Catalin Dima and Youssouf Oualhadj.

• Dissimilarity for Linear Dynamical Systems
  Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski and Andrea Vandin.

• QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
  Florian Dorfhuber, Julia Eisentraut and Jan Kretinsky.

• A Floyd-Warshall Approach to Value Computation in Markov Decision Processes
  Aymeric Come, Eric Fabre and Loic Helouet.

• Rare-Event Guided Analysis of Infinite-State Chemical Reaction Networks
  Mohammad Ahmadi and Hao Zheng.

• Probabilistic Loop Synthesis from Sequences of Moments
  Miroslav Stankovic and Ezio Bartocci.

• Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL
  Neha Rino, Mohammed Foughali and Eugene Asarin.

• Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling -
  Peter Buchholz, Falko Bause, Andreas Blume, Alexander Puzicha and Alina Timmermann.

• Multi Agent Pathfinding for Timed Tasks using Evolutionary Techniques
  Sheryl Paul, Anand Balakrishnan, Xin Qin and Jyotirmoy Deshmukh.

• Diagnosis of Stochastic Systems: Optimising Costs and Delays
  Marie Duflot, Engel Lefaucheux and Isaline Plaid.

• A framework for optimisation based stochastic process discovery
  Paolo Ballarini, Andras Horvath, Pierre Cry and Pascale Le Gall.

• Approximation of Cumulative Distribution Functions by Bernstein Phase Type Distributions
  András Horváth, Marco Paolieri, Miklos Telek, Enrico Vicario and Illes Horvath.

• What is your discount factor?
  Shadi Tasdighi Kalat, Sriram Sankaranarayanan and Ashutosh Trivedi.