Pages that link to "Item:Q2389641"
From MaRDI portal
The following pages link to Reachability analysis of uncertain systems using bounded-parameter Markov decision processes (Q2389641):
Displaying 11 items.
- Fuzzy Markovian decision processes: application to queueing systems (Q623201) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Reachability and safety objectives in Markov decision processes on long but finite horizons (Q2188953) (← links)
- An active-set strategy to solve Markov decision processes with good-deal risk measure (Q2329646) (← links)
- The complexity of reachability in parametric Markov decision processes (Q2662678) (← links)
- (Q5028426) (← links)
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Q5041280) (← links)
- On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375) (← links)
- Bounded Verification of Reachability of Probabilistic Hybrid Systems (Q6104812) (← links)
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves (Q6600072) (← links)
