| BRIM, Luboš, Milan ČEŠKA, Sven DRAŽAN a David ŠAFRÁNEK. Robustness Analysis of Stochastic Systems. Online. In Electronic Proceedings in Theoretical Computer Science, Volume 116. Turku: Open Publishing Association, 2013, s. 33-34. ISSN 2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.116.5. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1179476,
author = {Brim, Luboš and Češka, Milan and Dražan, Sven and Šafránek, David},
address = {Turku},
booktitle = {Electronic Proceedings in Theoretical Computer Science, Volume 116},
doi = {http://dx.doi.org/10.4204/EPTCS.116.5},
keywords = {robustness analysis; stochastic systems},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Turku},
pages = {33-34},
publisher = {Open Publishing Association},
title = {Robustness Analysis of Stochastic Systems},
url = {http://arxiv.org/html/1306.2019v1/#EPTCS116.5},
year = {2013}
}
TY - JOUR
ID - 1179476
AU - Brim, Luboš - Češka, Milan - Dražan, Sven - Šafránek, David
PY - 2013
TI - Robustness Analysis of Stochastic Systems
PB - Open Publishing Association
CY - Turku
KW - robustness analysis
KW - stochastic systems
UR - http://arxiv.org/html/1306.2019v1/#EPTCS116.5
N2 - By using a modified version of uniformization we have proposed a method to compute the upper and lower bounds of property validity over continuous parameter spaces. The main idea is to compute for each model state its probability as an upper and lower bound instead of a single number.
ER -
BRIM, Luboš, Milan ČEŠKA, Sven DRAŽAN a David ŠAFRÁNEK. Robustness Analysis of Stochastic Systems. Online. In \textit{Electronic Proceedings in Theoretical Computer Science, Volume 116}. Turku: Open Publishing Association, 2013, s.~33-34. ISSN~2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.116.5.
|
