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

    Research output: Contribution to conferencePaper

    11 Downloads (Pure)

    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
    Event7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005 - Turin, Italy
    Duration: 23 Oct 200524 Oct 2005
    Conference number: 7

    Workshop

    Workshop7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005
    Abbreviated titlePMCCS
    CountryItaly
    CityTurin
    Period23/10/0524/10/05

    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

    Remke, A., & Haverkort, B. R. (2005). Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. 23-26. Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy.