Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards

Research output: Contribution to conferencePaperOther research output


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.
Original languageEnglish
Number of pages4
Publication statusPublished - 23 Sept 2005
Externally publishedYes


  • IR-64396
  • EWI-11195


Dive into the research topics of 'Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards'. Together they form a unique fingerprint.

Cite this