Robustness Analysis of Stochastic Systems

Kód výsledku v 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>
Výsledek na webu
<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>

Jazyk výsledku
angličtina
Název v původním jazyce
Robustness Analysis of Stochastic Systems
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Robustness Analysis of Stochastic Systems
Popis výsledku anglicky
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.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Electronic Proceedings in Theoretical Computer Science, Volume 116
ISBN
—
ISSN
2075-2180
e-ISSN
—
Počet stran výsledku
2
Strana od-do
33-34
Název nakladatele
Open Publishing Association
Místo vydání
Turku
Místo konání akce
Turku
Datum konání akce
1. 1. 2013
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—

Podobné výsledky(10)