OASIcs.SynCoP.2015.16.pdf
- Filesize: 265 kB
- 1 pages
Document
Parameter synthesis for probabilistic real-time systems (Invited Paper)
Author
-
Part of:
Volume:
2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (SynCoP 2015)
Series: Open Access Series in Informatics (OASIcs) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2015-12-03
Cite AsGet BibTex
Marta Kwiatkowska. Parameter synthesis for probabilistic real-time systems (Invited Paper). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, p. 16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/OASIcs.SynCoP.2015.16
https://doi.org/10.4230/OASIcs.SynCoP.2015.16
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.
Keywords
- Quantitative verification
- Timed automata
- Parameter synthesis
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, and Nicola Paoletti. Precise parameter synthesis for stochastic biochemical systems. In Pedro Mendes, Joseph O. Dada, and Kieran Smallbone, editors, Proceedings of the 12th International Conference in Computational Methods in Systems Biology (CMSB 2014), volume 8859 of Lecture Notes in Computer Science, pages 86-98. Springer, 2014.
-
Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, and Alexandru Mereacre. Synthesising optimal timing delays for timed I/O automata. In Tulika Mitra and Jan Reineke, editors, Proceedings of the 14th International Conference on Embedded Software (EMSOFT 2014), pages 16:1-16:10. ACM, 2014.
-
Aleksandra Jovanović and Marta Z. Kwiatkowska. Parameter synthesis for probabilistic timed automata using stochastic game abstractions. In Joël Ouaknine, Igor Potapov, and James Worrell, editors, Proceedings of the 8th International Workshop on Reachability Problems (RP 2014), volume 8762 of Lecture Notes in Computer Science, pages 176-189. Springer, 2014.