Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
From MaRDI portal
Publication:2389641
DOI10.1016/j.artint.2007.12.002zbMath1183.68406OpenAlexW2058117005MaRDI QIDQ2389641
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
Discrete-time Markov processes on general state spaces (60J05) Reasoning under uncertainty in the context of artificial intelligence (68T37) Markov and semi-Markov decision processes (90C40) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (10)
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities ⋮ Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ The complexity of reachability in parametric Markov decision processes ⋮ Fuzzy Markovian decision processes: application to queueing systems ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ Strategy synthesis for partially-known switched stochastic systems ⋮ Unnamed Item ⋮ On the Complexity of Reachability in Parametric Markov Decision Processes ⋮ An active-set strategy to solve Markov decision processes with good-deal risk measure ⋮ Robustly complete finite-state abstractions for verification of stochastic systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bounded-parameter Markov decision processes
- Interval-valued finite Markov chains
- Minimizing shortfall risk and applications to finance and insurance problems
- Probabilistic model checking of complex biological pathways
- Solving H-horizon, stationary Markov decision problems in time proportional to log (H)
- Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
- Markov Decision Processes with Imprecise Transition Probabilities
- Markov decision processes and regular events
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Robust Control of Markov Decision Processes with Uncertain Transition Matrices
- Bounded Parameter Markov Decision Processes with Average Reward Criterion
- PROBABILISTIC DECISION GRAPHS — COMBINING VERIFICATION AND AI TECHNIQUES FOR PROBABILISTIC INFERENCE
- Tools and Algorithms for the Construction and Analysis of Systems
- Handbook of Markov decision processes. Methods and applications
This page was built for publication: Reachability analysis of uncertain systems using bounded-parameter Markov decision processes