2026-07-22T00:00:53Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5606 2024-03-06T10:29:42Z ddc:004 open_access

Parameter synthesis for probabilistic real-time systems (Invited Paper) Kwiatkowska, Marta Quantitative verification Timed automata Parameter synthesis 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Marta Kwiatkowska 2015 Is Part Of OASIcs, Volume 44, 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.SynCoP.2015.16 urn:nbn:de:0030-drops-56062 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.16 eng https://creativecommons.org/licenses/by/3.0/legalcode