Pages that link to "Item:Q2226751"
From MaRDI portal
The following pages link to Stochastic games with lexicographic reachability-safety objectives (Q2226751):
Displaying 9 items.
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Comparison of algorithms for simple stochastic games (Q2105472) (← links)
- (Q6134270) (← links)
- Multi-agent verification and control with probabilistic model checking (Q6546442) (← links)
- Multi-weighted reachability games (Q6623017) (← links)
- Composition of stochastic services for LTL\(_f\) goal specifications (Q6630205) (← links)
- Preface of the special issue on the conference on computer-aided verification 2020 and 2021 (Q6632193) (← links)
- Stochastic games with lexicographic objectives (Q6632196) (← links)
- Stochastic games with disjunctions of multiple objectives (Q6649516) (← links)
