ITU

Management

Organisational unit: Section

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

View graph of relations

Research outputs (17)

  1. Published

    Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  2. Published

    Incremental Bisimulation Abstraction Refinement

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  3. Published

    Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View all »