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”.

@INPROCEEDINGS{Winkler:780394,
      author       = {Winkler, Tobias and Junges, Sebastian and Pérez, Guillermo
                      A. and Katoen, Joost-Pieter},
      title        = {{O}n the {C}omplexity of {R}eachability in {P}arametric
                      {M}arkov {D}ecision {P}rocesses},
      volume       = {140},
      address      = {Saarbrücken/Wadern, Germany},
      publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH,
                      Dagstuhl Publishing, August},
      reportid     = {RWTH-2020-00609},
      series       = {Leibniz international proceedings in informatics : LIPIcs},
      year         = {2019},
      comment      = {30th International Conference on Concurrency Theory :
                      CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands
                      / edited by Wan Fokkink, Rob van Glabbeek},
      booktitle     = {30th International Conference on
                       Concurrency Theory : CONCUR 2019,
                       August 27-30, 2019, Amsterdam, the
                       Netherlands / edited by Wan Fokkink,
                       Rob van Glabbeek},
      month         = {Aug},
      date          = {2019-08-27},
      organization  = {30. International Conference on
                       Concurrency Theory, Amsterdam
                       (Netherlands), 27 Aug 2019 - 30 Aug
                       2019},
      cin          = {121310 / 120000 / 080060},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$ /
                      $I:(DE-82)080060_20170720$},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      doi          = {10.4230/LIPICS.CONCUR.2019.14},
      url          = {https://publications.rwth-aachen.de/record/780394},
}