Third Workshop on

Quantitative Aspects of Variant-rich Systems

3 April 2022, colocated with ETAPS 2022

Program

The program will be settled briefly before the workshop.

Keynote Speaker

Norbert Siegmund

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.

Partners
ETAPS
CeTI
5G Lab Germany
CPEC
INCR
ISTI
INCR