Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes

DOI10.1007/11681960_28MaRDI QIDQ3619461zbMATH OpenOpenAlexFDO

Authors Di Wu, Xenofon D. Koutsoukos

Publication date 7 April 2009

Published in Modeling Decisions for Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11681960_28

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Markov and semi-Markov decision processes (90C40)

Recommendations

• Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
• Scenario-based verification of uncertain MDPs
• Bounded-parameter Markov decision processes
• Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
• Model checking linear-time properties of probabilistic systems

Cites work

• Bounded-parameter Markov decision processes
• scientific article; zbMATH DE number 1577097 (Why is no real title available?)
• scientific article; zbMATH DE number 1338150 (Why is no real title available?)
• scientific article; zbMATH DE number 1361118 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• Markov decision processes and regular events
• Markov Decision Processes with Imprecise Transition Probabilities
• Parameter Imprecision in Finite State, Finite Action Dynamic Programs
• Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes

Cited in

(5)

• Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
• Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
• Scenario-based verification of uncertain MDPs
• Bounded Verification of Reachability of Probabilistic Hybrid Systems
• Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes

This page was built for publication: Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes

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