Pages that link to "Item:Q2870130"
From MaRDI portal
The following pages link to Multi-objective Discounted Reward Verification in Graphs and MDPs (Q2870130):
Displayed 5 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- (Q5013875) (← links)
- Percentile queries in multi-dimensional Markov decision processes (Q5892424) (← links)