The following pages link to Optimistic value iteration (Q2226755):
Displaying 12 items.
- Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
- Runtime monitors for Markov decision processes (Q832291) (← links)
- Multi-objective optimization of long-run average and total rewards (Q2044201) (← links)
- Comparison of algorithms for simple stochastic games (Q2105472) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Multi-cost bounded tradeoff analysis in MDP (Q2208304) (← links)
- (Q5021007) (← links)
- A practitioner's guide to MDP model checking algorithms (Q6535370) (← links)
- Exploiting adjoints in property directed reachability analysis (Q6535527) (← links)
- Correct probabilistic model checking with floating-point arithmetic (Q6535604) (← links)
- Certificates for probabilistic pushdown automata via optimistic value iteration (Q6536144) (← links)
- Probabilistic program verification via inductive synthesis of inductive invariants (Q6536145) (← links)
