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

Anne Remke; Boudewijn R. Haverkort

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

Research output: Contribution to conference › Paper › Other 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 language	English
Pages	23-26
Number of pages	4
Publication status	Published - 23 Sept 2005
Externally published	Yes

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 = sep,

day = "23",

language = "English",

pages = "23--26",

}

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 -

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

Abstract

Keywords

Fingerprint

Cite this