Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives

Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives

Content
Grafik
Authors
  • Chatterjee, Krishnendu
  • Henzinger, Monika
  • Loitzenbauer, Veronika
  • Oraee, Simin
  • Toman, Viktor
Grafik Top
Projects
Grafik Top
Shortfacts
Category
 Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
 30th International Conference on Computer Aided Verification (CAV 2018)
Divisions
 Theory and Applications of Algorithms
Subjects
 Theoretische Informatik
Event Location
 Oxford, UK
Event Type
 Conference
Event Dates
 July 14-17
Date
 14 July 2018
Export
Grafik Top
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.