ProgramThe program will be settled briefly before the workshop.
Jan KřetínskýTechnical University of Munich, Germany
"Families of quantitative systems through bounded parameters -- a game-theoretic perspective"
Abstract. Uncertainty or underspecification as well as classes of similar systems can often be modelled by so-called bounded-parameter systems, where certain quantities are only known to lie in some intervals. Such systems can often be efficiently analysed via their reformulation as games. We illustrate this approach on some examples from the probabilistic and timed domains, in particular, on model checking ω-regular properties in a bounded-parameter Markov decision process and on optimizing average cost in parametrized timed modal transition systems, resulting in stochastic games and mean-payoff games, respectively.