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