Logic and model checking for hidden Markov models

B. Becker (Editor), Lijun Zhang, H. Hermanns, Werner Damm (Editor), D.N. Jansen, Martin Fränzle (Editor), Ernst-Rüdiger Olderog (Editor), Andreas Podelski (Editor), R. Wilhelm (Editor)

    Research output: Book/ReportReportProfessional

    15 Citations (Scopus)
    51 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Logic and model checking for hidden Markov models'. Together they form a unique fingerprint.