h1

h2

h3

h4

h5
h6
% 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{Andriushchenko:1005880,
      author       = {Andriushchenko, Roman and Češka, Milan and Macák, Filip
                      and Junges, Sebastian and Katoen, Joost-Pieter},
      title        = {{A}n {O}racle-{G}uided {A}pproach to {C}onstrained {P}olicy
                      {S}ynthesis {U}nder {U}ncertainty},
      journal      = {Journal of artificial intelligence research : JAIR},
      volume       = {82},
      issn         = {1076-9757},
      address      = {[Erscheinungsort nicht ermittelbar]},
      publisher    = {AI Access Found.},
      reportid     = {RWTH-2025-02074},
      pages        = {433-469},
      year         = {2025},
      cin          = {121310 / 080017 / 120000},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)080017_20140620$ /
                      $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)16},
      UT           = {WOS:001451353400007},
      doi          = {10.1613/jair.1.16593},
      url          = {https://publications.rwth-aachen.de/record/1005880},
}