Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness 
Objectives

Chatterjee, Krishnendu; Henzinger, Monika; Loitzenbauer, Veronika; Oraee, Simin; Toman, Viktor

doi:10.1007/978-3-319-96142-2_13

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives

MPS-Authors

/persons/resource/persons230942

Oraee, Simin
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Chatterjee, K., Henzinger, M., Loitzenbauer, V., Oraee, S., & Toman, V. (2018). Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. In H. Chockler, & G. Weissenbacher (Eds.), Computer Aided Verification (pp. 178-197). Berlin: Springer. doi:10.1007/978-3-319-96142-2_13.

Cite as: https://hdl.handle.net/21.11116/0000-0003-1F44-F

Abstract

There is no abstract available