Decision Problems for Interval Markov Chains

Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski

Research output: Contribution to journalConference article in JournalResearchpeer-review

14 Citations (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6638
Pages (from-to)274-285
ISSN0302-9743
DOIs
Publication statusPublished - 2011
EventInternational Conference on Language and Automata Theory and Applications (LATA 2011)) - Tarragona, Spain
Duration: 26 May 201131 May 2011
Conference number: 5

Conference

ConferenceInternational Conference on Language and Automata Theory and Applications (LATA 2011))
Number5
CountrySpain
CityTarragona
Period26/05/201131/05/2011

Cite this

Delahaye, Benoit ; Larsen, Kim Guldstrand ; Legay, Axel ; Pedersen, Mikkel Larsen ; Wasowski, Andrzej. / Decision Problems for Interval Markov Chains. In: Lecture Notes in Computer Science. 2011 ; Vol. 6638. pp. 274-285.
@inproceedings{0c648e8ed3224b2eb4e80b3b83d9a2e6,
title = "Decision Problems for Interval Markov Chains",
author = "Benoit Delahaye and Larsen, {Kim Guldstrand} and Axel Legay and Pedersen, {Mikkel Larsen} and Andrzej Wasowski",
year = "2011",
doi = "10.1007/978-3-642-21254-3_21",
language = "English",
volume = "6638",
pages = "274--285",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Decision Problems for Interval Markov Chains. / Delahaye, Benoit; Larsen, Kim Guldstrand; Legay, Axel ; Pedersen, Mikkel Larsen; Wasowski, Andrzej.

In: Lecture Notes in Computer Science, Vol. 6638, 2011, p. 274-285.

Research output: Contribution to journalConference article in JournalResearchpeer-review

TY - GEN

T1 - Decision Problems for Interval Markov Chains

AU - Delahaye, Benoit

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Wasowski, Andrzej

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-21254-3_21

DO - 10.1007/978-3-642-21254-3_21

M3 - Conference article in Journal

VL - 6638

SP - 274

EP - 285

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -