Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters

Su, Guoxin; Feng, Yuan; Chen, Taolue; Rosenblum, David S.

dc.contributor.author	Su, Guoxin
dc.contributor.author	Feng, Yuan
dc.contributor.author	Chen, Taolue
dc.contributor.author	Rosenblum, David S.
dc.date.accessioned	2022-10-24T09:20:52Z
dc.date.available	2022-10-24T09:20:52Z
dc.date.issued	2016
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/9240
dc.description	623-639 p. ; 855ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.relation.ispartofseries	Institute of electrical and electronics engineers;vol.42-2016
dc.subject	Génie logiciel	en_US
dc.subject	Systèmes auto-adaptatifs	en_US
dc.subject	Analyse des perturbations : RCMC	en_US
dc.subject	Chaîne de Markov en temps discre	en_US
dc.subject	Chaîne de Markov paramétrique	en_US
dc.subject	Programmation quadratique	en_US
dc.title	Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters	en_US
dc.type	Article	en_US