Quantitative Analysis under Fairness Constraints.

Christel Baier, Marcus Grer, Frank Ciesinski

Browse the full ATVA paper archive.