Oxford logo
[Kwi15] M. Kwiatkowska. Parameter synthesis for probabilistic real-time systems. In Proc. SynCoP'15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. To appear. 2015. [pdf] [bib]
Downloads:  pdf pdf (259 KB)  bib bib
Abstract. The parameter synthesis problem aims to find parameter valuations that guarantee that a given objective is satisfied for a parametric model. Applications range from automated model repair to optimisation. This lecture will focus on models with probability and real-time and give an overview of recent results concerning parameter synthesis from quantitative temporal logic objectives. Existing algorithmic approaches and experimental results will be discussed, and future research challenges outlined. This lecture is based on [2, 1, 3].