Robustness Analysis of Stochastic Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F13%3A00067061" target="_blank" >RIV/00216224:14330/13:00067061 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.4204/EPTCS.116.5" target="_blank" >http://dx.doi.org/10.4204/EPTCS.116.5</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4204/EPTCS.116.5" target="_blank" >10.4204/EPTCS.116.5</a>
Alternative languages
Result language
angličtina
Original language name
Robustness Analysis of Stochastic Systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Electronic Proceedings in Theoretical Computer Science, Volume 116
ISBN
—
ISSN
2075-2180
e-ISSN
—
Number of pages
2
Pages from-to
33-34
Publisher name
Open Publishing Association
Place of publication
Turku
Event location
Turku
Event date
Jan 1, 2013
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—