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

DOI10.1007/11681960_28zbMATH Open1235.68105OpenAlexW1607308774MaRDI QIDQ3619461FDOQ3619461

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Markov decision processes and regular events
• Bounded-parameter Markov decision processes
• Markov Decision Processes with Imprecise Transition Probabilities
• Title not available (Why is that?)
• Parameter Imprecision in Finite State, Finite Action Dynamic Programs
• Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes

Cited In (5)

• Bounded Verification of Reachability of Probabilistic Hybrid Systems
• Scenario-based verification of uncertain MDPs
• Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes
• Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
• Reachability analysis of uncertain systems using bounded-parameter 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)