Pages that link to "Item:Q5308389"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308389):
Displaying 11 items.
- Optimal decisions for continuous time Markov decision processes over finite planning horizons (Q1652046) (← links)
- A uniformization-based algorithm for continuous-time stochastic games model checking (Q1757155) (← links)
- Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games (Q1935779) (← links)
- Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles (Q2139771) (← links)
- Reachability analysis of uncertain systems using bounded-parameter Markov decision processes (Q2389641) (← links)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes (Q2575731) (← links)
- Least upper bounds for probability measures and their applications to abstractions (Q2637319) (← links)
- Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters (Q3457809) (← links)
- (Q4270052) (← links)
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach (Q6104820) (← links)
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP (Q6487329) (← links)