We propose and discuss a number of extensions to quasi-birth-death models (QBDs) for which CSL model checking is still possible, thus extending our recent work on CSL model checking of QBDs. We then equip the QBDs with rewards, and discuss algorithms and open research issues for model checking CSRL for QBDs with rewards.
|Number of pages||4|
|Publication status||Published - 23 Sep 2005|
|Event||7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005 - Turin, Italy|
Duration: 23 Oct 2005 → 24 Oct 2005
Conference number: 7
|Workshop||7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005|
|Period||23/10/05 → 24/10/05|