License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SynCoP.2015.16
URN: urn:nbn:de:0030-drops-56062
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5606/
Go to the corresponding OASIcs Volume Portal

Kwiatkowska, Marta

Parameter synthesis for probabilistic real-time systems (Invited Paper)

pdf-format:
4.pdf (0.3 MB)

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.

BibTeX - Entry

@InProceedings{kwiatkowska:OASIcs:2015:5606,
  author =	{Marta Kwiatkowska},
  title =	{{Parameter synthesis for probabilistic real-time systems (Invited Paper)}},
  booktitle =	{2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)},
  pages =	{16--16},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-82-8},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{44},
  editor =	{{\'E}tienne Andr{\'e} and Goran Frehse},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5606},
  URN =		{urn:nbn:de:0030-drops-56062},
  doi =		{10.4230/OASIcs.SynCoP.2015.16},
  annote =	{Keywords: Quantitative verification, Timed automata, Parameter synthesis}
}

Keywords: Quantitative verification, Timed automata, Parameter synthesis
Collection: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)
Issue Date: 2015
Date of publication: 03.12.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI