ITU

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

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

View graph of relations

Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume8318
Pages (from-to)98-117
ISSN0302-9743
DOIs
Publication statusPublished - 2014

ID: 79382752