Skip to main navigation Skip to search Skip to main content

Bisimulations Meet PCTL Equivalences for Probabilistic Automata

  • Lei Song
  • , Lijun Zhang
  • , Jens Chr. Godskesen
    • IT University of Copenhagen

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Fingerprint

    Dive into the research topics of 'Bisimulations Meet PCTL Equivalences for Probabilistic Automata'. Together they form a unique fingerprint.
    Sort by

    Computer Science

    Keyphrases