% 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}, }