Informace o publikaci

Robustness Analysis of Stochastic Systems

Logo poskytovatele
Logo poskytovatele
Autoři

BRIM Luboš ČEŠKA Milan DRAŽAN Sven ŠAFRÁNEK David

Rok publikování 2013
Druh Článek ve sborníku
Konference Electronic Proceedings in Theoretical Computer Science, Volume 116
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://arxiv.org/html/1306.2019v1/#EPTCS116.5
Doi http://dx.doi.org/10.4204/EPTCS.116.5
Obor Informatika
Klíčová slova robustness analysis; stochastic systems
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info