Decision Problems for Interval Markov Chains

DOI10.1007/978-3-642-21254-3_21MaRDI QIDQ3004586zbMATH OpenOpenAlexFDO

Authors Benoît Delahaye, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski, Kim G. 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

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

Recommendations

• scientific article; zbMATH DE number 794375
• scientific article; zbMATH DE number 2189773
• Markov interval chain (MIC) for solving a decision problem
• Markov Decision Problems and State-Action Frequencies
• Interval-valued finite Markov chains
• A sequential decision problem based on the rate depending on a Markov process
• Markov decision processes with their applications
• Discrete time Markov chains with interval probabilities
• Consistency and refinement for interval Markov chains
• scientific article; zbMATH DE number 970511

Cited in

(12)

• Reachability in augmented interval Markov chains
• Interval-Based Models for Decision Problems
• Constraint Markov chains
• Quantitative analysis of interval Markov chains
• Scenario-based verification of uncertain MDPs
• Polynomial-time alternating probabilistic bisimulation for interval MDPs
• Consistency and refinement for interval Markov chains
• LTL model checking of interval Markov chains
• Comparing labelled Markov decision processes
• Parameter synthesis for parametric interval Markov chains
• Approximate verification of the symbolic dynamics of Markov chains
• Abstract probabilistic automata

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3004586)