Stochastic model checking

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    2 Citations (Scopus)
    Original languageUndefined
    Title of host publicationStochastic Hybrid Systems
    EditorsC.G. Cassandras, J. Lygeros
    PublisherCRC Press
    Pages77-104
    Number of pages28
    ISBN (Print)0-849-39083-4
    Publication statusPublished - Nov 2006

    Publication series

    NameAutomation and Control Engineering Series
    PublisherCRC Press
    Number10/24
    Volume24

    Keywords

    • EWI-8234
    • IR-63706
    • METIS-237639

    Cite this

    Katoen, J. P. (2006). Stochastic model checking. In C. G. Cassandras, & J. Lygeros (Eds.), Stochastic Hybrid Systems (pp. 77-104). (Automation and Control Engineering Series; Vol. 24, No. 10/24). CRC Press.