ITU

Management

Organisational unit: Section

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

View graph of relations

Research outputs (18)

  1. Published

    Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

    Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  2. Published

    Incremental Bisimulation Abstraction Refinement

    Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  3. Published

    Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

View all »