Pages that link to "Item:Q2226751"
From MaRDI portal
The following pages link to Stochastic games with lexicographic reachability-safety objectives (Q2226751):
Displaying 13 items.
- On equilibria in quantitative games with reachability/safety objectives (Q1678747) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- 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)
- Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698) (← links)
- Computing lexicographically safe Nash equilibria in finite two-person games with tight game forms given by oracles (Q6094712) (← 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)
