Efficient CTMC Model Checking of Linear Real-Time Objectives

Benoit Barbot, T. Chen, Tingting Han, Joost P. Katoen, Alexandru Mereacre

    Research output: Contribution to conferencePaperAcademicpeer-review

    32 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Efficient CTMC Model Checking of Linear Real-Time Objectives'. Together they form a unique fingerprint.