Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives

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.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0003-1F44-F Versions-Permalink: https://hdl.handle.net/21.11116/0000-0003-1F4A-9
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Chatterjee, Krishnendu1, Autor
Henzinger, Monika1, Autor
Loitzenbauer, Veronika1, Autor
Oraee, Simin2, Autor           
Toman, Viktor1, Autor
Affiliations:
1External Organizations, ou_persistent22              
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20182018
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: CHatterjeeCAV2018
DOI: 10.1007/978-3-319-96142-2_13
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 30th International Conference on Computer-Aided Verification
Veranstaltungsort: Oxford, UK
Start-/Enddatum: 2018-07-14 - 2018-07-17

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Computer Aided Verification
  Untertitel : 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 ; Oxford, UK, July 14-17, 2018 ; Proceedings, Part II
  Kurztitel : CAV 2018
Genre der Quelle: Konferenzband
 Urheber:
Chockler, Hana1, Herausgeber
Weissenbacher, Georg1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 178 - 197 Identifikator: ISBN: 978-3-319-96141-5

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 10982 Artikelnummer: - Start- / Endseite: - Identifikator: -