Decision Problems for Interval Markov Chains

DOI10.1007/978-3-642-21254-3_21zbMath1330.68109OpenAlexW1537517911MaRDI QIDQ3004586

Mikkel L. Pedersen, Axel Legay, Benoît Delahaye, Andrzej Wąsowski, Kim Guldstrand Larsen

Publication date: 3 June 2011

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21254-3_21

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

Scenario-Based Verification of Uncertain MDPs ⋮ Abstract probabilistic automata ⋮ Quantitative analysis of interval Markov chains ⋮ Approximate Verification of the Symbolic Dynamics of Markov Chains

This page was built for publication: Decision Problems for Interval Markov Chains