Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
No Thumbnail Available
Files
Date
2016
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
623-639 p. ; 855ko.
Keywords
Génie logiciel, Systèmes auto-adaptatifs, Analyse des perturbations : RCMC, Chaîne de Markov en temps discre, Chaîne de Markov paramétrique, Programmation quadratique