Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
From MaRDI portal
Publication:2389641
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
Cites work
- scientific article; zbMATH DE number 1577097 (Why is no real title available?)
- scientific article; zbMATH DE number 51132 (Why is no real title available?)
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- scientific article; zbMATH DE number 2189773 (Why is no real title available?)
- Bounded Parameter Markov Decision Processes with Average Reward Criterion
- Bounded-parameter Markov decision processes
- Handbook of Markov decision processes. Methods and applications
- Interval-valued finite Markov chains
- Markov Decision Processes with Imprecise Transition Probabilities
- Markov decision processes and regular events
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Minimizing shortfall risk and applications to finance and insurance problems
- PROBABILISTIC DECISION GRAPHS — COMBINING VERIFICATION AND AI TECHNIQUES FOR PROBABILISTIC INFERENCE
- Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
- Probabilistic model checking of complex biological pathways
- Robust Control of Markov Decision Processes with Uncertain Transition Matrices
- Solving H-horizon, stationary Markov decision problems in time proportional to log (H)
- Tools and Algorithms for the Construction and Analysis of Systems
Cited in
(14)- Reward-bounded reachability probability for uncertain weighted MDPs
- Fuzzy Markovian decision processes: application to queueing systems
- On the Complexity of Reachability in Parametric Markov Decision Processes
- Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
- An active-set strategy to solve Markov decision processes with good-deal risk measure
- Strategy synthesis for partially-known switched stochastic systems
- The complexity of reachability in parametric Markov decision processes
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
- Robustly complete finite-state abstractions for verification of stochastic systems
- Probabilistic timed automata with one clock and initialised clock-dependent probabilities
- Probabilistic timed automata with one clock and initialised clock-dependent probabilities
- Reachability and safety objectives in Markov decision processes on long but finite horizons
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
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)
