. "4"^^ . . "Robustness Analysis of Stochastic Systems"@en . . . "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."@en . "Robustness Analysis of Stochastic Systems" . "2075-2180" . "Dra\u017Ean, Sven" . "4"^^ . . "[54FD570D1219]" . "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." . . . "2013-01-01+01:00"^^ . "Open Publishing Association" . . "Brim, Lubo\u0161" . "RIV/00216224:14330/13:00067061" . "P(EE2.3.20.0256), P(GAP202/11/0312)" . "10.4204/EPTCS.116.5" . . . "14330" . . "\u0160afr\u00E1nek, David" . . . . "103180" . . "Robustness Analysis of Stochastic Systems" . "Turku" . "\u010Ce\u0161ka, Milan" . "Turku" . "Electronic Proceedings in Theoretical Computer Science, Volume 116" . . "2"^^ . "RIV/00216224:14330/13:00067061!RIV14-MSM-14330___" . "robustness analysis; stochastic systems"@en . . "Robustness Analysis of Stochastic Systems"@en . . . .