Pages that link to "Item:Q3648696"
From MaRDI portal
The following pages link to Quantitative Analysis under Fairness Constraints (Q3648696):
Displaying 6 items.
- Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time (Q2453113) (← links)
- Quantitative Multi-objective Verification for Probabilistic Systems (Q3000641) (← links)
- Pay equity: The role and limitations of statistical analysis (Q4378567) (← links)
- Foundations of probability-raising causality in Markov decision processes (Q6151547) (← links)