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

Research output: Contribution to conferencePaperOther research output

Abstract

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
Pages23-26
Number of pages4
Publication statusPublished - 23 Sep 2005
Externally publishedYes

Keywords

  • IR-64396
  • EWI-11195

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

Cite this