h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Chatterjee:954240,
      author       = {Chatterjee, Krishnendu and Katoen, Joost-Pieter and Mohr,
                      Stefanie and Weininger, Maximilian and Winkler, Tobias},
      title        = {{S}tochastic games with lexicographic objectives},
      journal      = {Formal methods in system design},
      volume       = {63},
      number       = {1/3},
      issn         = {0925-9856},
      address      = {Dordrecht [u.a.]},
      publisher    = {Springer Science + Business Media B.V},
      reportid     = {RWTH-2023-03042},
      pages        = {40-80},
      year         = {2024},
      note         = {Published: 08 March 2023},
      month         = {Jul},
      date          = {2020-07-21},
      organization  = {Conference on Computer-Aided
                       Verification, online, 21 Jul 2020 - 24
                       Jul 2020},
      cin          = {080060 / 121310 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)080060_20170720$ / $I:(DE-82)121310_20140620$ /
                      $I:(DE-82)120000_20140620$},
      pnm          = {OA - Open Access Publikation mit Unterstützung der
                      Universitätsbibliothek der RWTH Aachen University
                      (X021000-OA) / GRK 2236 - UNRAVEL - UNcertainty and
                      Randomness in Algorithms, VErification, and Logic
                      (282652900) / Statistische unbegrenzte Überprüfung
                      (383882557) / Group-by-Ziele bei der probabilistichen
                      Verifikation (427755713) / GRK 2428: CONVEY - Continuous
                      Verification of CYber-Physical Systems (378803395) / MISSION
                      - Models in Space Systems: Integration, Operation, and
                      Networking (101008233) / Formal Methods for Stochastic
                      Models: Algorithms and Applications (863818)},
      pid          = {G:(DE-82)X021000-OA / G:(GEPRIS)282652900 /
                      G:(GEPRIS)383882557 / G:(GEPRIS)427755713 /
                      G:(GEPRIS)378803395 / G:(EU-Grant)101008233 /
                      G:(EU-Grant)863818},
      typ          = {PUB:(DE-HGF)16 / PUB:(DE-HGF)8},
      UT           = {WOS:000946174300001},
      doi          = {10.1007/s10703-023-00411-4},
      url          = {https://publications.rwth-aachen.de/record/954240},
}