Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
DOI10.1016/J.ARTINT.2007.12.002zbMATH Open1183.68406OpenAlexW2058117005MaRDI QIDQ2389641FDOQ2389641
Authors: Di Wu, Xenofon D. Koutsoukos 
Publication date: 17 July 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2007.12.002
Recommendations
- Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
- Tools and Algorithms for the Construction and Analysis of Systems
- On the Complexity of Reachability in Parametric Markov Decision Processes
- The complexity of reachability in parametric Markov decision processes
- Reachability in Recursive Markov Decision Processes
- Reachability in recursive Markov decision processes
- Accurate reachability analysis of uncertain nonlinear systems
- scientific article; zbMATH DE number 1799463
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Reasoning under uncertainty in the context of artificial intelligence (68T37) Discrete-time Markov processes on general state spaces (60J05) Markov and semi-Markov decision processes (90C40)
Cites Work
- Solving H-horizon, stationary Markov decision problems in time proportional to log (H)
- Title not available (Why is that?)
- PROBABILISTIC DECISION GRAPHS — COMBINING VERIFICATION AND AI TECHNIQUES FOR PROBABILISTIC INFERENCE
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probabilistic model checking of complex biological pathways
- Robust Control of Markov Decision Processes with Uncertain Transition Matrices
- Interval-valued finite Markov chains
- Markov decision processes and regular events
- Handbook of Markov decision processes. Methods and applications
- Bounded-parameter Markov decision processes
- Bounded Parameter Markov Decision Processes with Average Reward Criterion
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Markov Decision Processes with Imprecise Transition Probabilities
- Minimizing shortfall risk and applications to finance and insurance problems
- Title not available (Why is that?)
- Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
Cited In (13)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- An active-set strategy to solve Markov decision processes with good-deal risk measure
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
- The complexity of reachability in parametric Markov decision processes
- Robustly complete finite-state abstractions for verification of stochastic systems
- On the Complexity of Reachability in Parametric Markov Decision Processes
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- Fuzzy Markovian decision processes: application to queueing systems
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
- Title not available (Why is that?)
- Strategy synthesis for partially-known switched stochastic systems
- Reachability and safety objectives in Markov decision processes on long but finite horizons
- Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
This page was built for publication: Reachability analysis 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 Q2389641)
