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

Fingerprint

Model checking

Keywords

  • IR-64396
  • EWI-11195

Cite this

@conference{debcef3067d74e1f811790a687b8a166,
title = "Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards",
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.",
keywords = "IR-64396, EWI-11195",
author = "Anne Remke and Haverkort, {Boudewijn R.}",
year = "2005",
month = "9",
day = "23",
language = "English",
pages = "23--26",

}

Beyond Model-Checking CSL for QBDs : Resets, Batches and Rewards. / Remke, Anne; Haverkort, Boudewijn R.

2005. 23-26.

Research output: Contribution to conferencePaperOther research output

TY - CONF

T1 - Beyond Model-Checking CSL for QBDs

T2 - Resets, Batches and Rewards

AU - Remke, Anne

AU - Haverkort, Boudewijn R.

PY - 2005/9/23

Y1 - 2005/9/23

N2 - 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.

AB - 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.

KW - IR-64396

KW - EWI-11195

M3 - Paper

SP - 23

EP - 26

ER -