Decision Problems for Interval Markov Chains

Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski

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

Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6638
Pages (from-to)274-285
ISSN0302-9743
DOIs
Publication statusPublished - 2011

Cite this