BRIM, Luboš, Milan ČEŠKA, Sven DRAŽAN and David ŠAFRÁNEK. Robustness Analysis of Stochastic Systems. Online. In Electronic Proceedings in Theoretical Computer Science, Volume 116. Turku: Open Publishing Association, 2013, p. 33-34. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.116.5. |
Other formats:
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 and David ŠAFRÁNEK. Robustness Analysis of Stochastic Systems. Online. In \textit{Electronic Proceedings in Theoretical Computer Science, Volume 116}. Turku: Open Publishing Association, 2013, p.~33-34. ISSN~2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.116.5.
|