h1

001005880 001__ 1005880
001005880 005__ 20250623092718.0
001005880 0247_ $$2ISSN$$a1076-9757
001005880 0247_ $$2ISSN$$a1943-5037
001005880 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85218450611
001005880 0247_ $$2WOS$$aWOS:001451353400007
001005880 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-02074
001005880 0247_ $$2doi$$a10.1613/jair.1.16593
001005880 037__ $$aRWTH-2025-02074
001005880 041__ $$aEnglish
001005880 082__ $$a004
001005880 1001_ $$00000-0002-1286-934X$$aAndriushchenko, Roman$$b0
001005880 245__ $$aAn Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty$$honline
001005880 260__ $$a[Erscheinungsort nicht ermittelbar]$$bAI Access Found.$$c2025
001005880 3367_ $$00$$2EndNote$$aJournal Article
001005880 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
001005880 3367_ $$2BibTeX$$aARTICLE
001005880 3367_ $$2DRIVER$$aarticle
001005880 3367_ $$2DataCite$$aOutput Types/Journal article
001005880 3367_ $$2ORCID$$aJOURNAL_ARTICLE
001005880 588__ $$aDataset connected to CrossRef, Journals: publications.rwth-aachen.de
001005880 591__ $$aCzech Republic
001005880 591__ $$aGermany
001005880 591__ $$aNetherlands
001005880 7001_ $$00000-0002-0300-9727$$aČeška, Milan$$b1
001005880 7001_ $$00009-0004-4277-2751$$aMacák, Filip$$b2
001005880 7001_ $$0P:(DE-82)IDM01624$$aJunges, Sebastian$$b3$$eCorresponding author
001005880 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b4$$eCorresponding author$$urwth
001005880 773__ $$0PERI:(DE-600)1468362-3$$a10.1613/jair.1.16593$$p433-469$$tJournal of artificial intelligence research : JAIR$$v82$$x1076-9757$$y2025
001005880 8564_ $$uhttps://publications.rwth-aachen.de/record/1005880/files/1005880.pdf$$yOpenAccess
001005880 909CO $$ooai:publications.rwth-aachen.de:1005880$$popenaire$$popen_access$$pdriver$$pdnbdelivery$$pVDB
001005880 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b4$$kRWTH
001005880 9141_ $$y2025
001005880 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001005880 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001005880 915__ $$0StatID:(DE-HGF)0030$$2StatID$$aPeer Review$$bDOAJ : Anonymous peer review$$d2024-05-07T07:59:13Z
001005880 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bJ ARTIF INTELL RES : 2022$$d2025-01-02
001005880 915__ $$0StatID:(DE-HGF)0113$$2StatID$$aWoS$$bScience Citation Index Expanded$$d2025-01-02
001005880 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2025-01-02
001005880 915__ $$0StatID:(DE-HGF)0160$$2StatID$$aDBCoverage$$bEssential Science Indicators$$d2025-01-02
001005880 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2025-01-02
001005880 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2025-01-02
001005880 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2025-01-02
001005880 915__ $$0StatID:(DE-HGF)0500$$2StatID$$aDBCoverage$$bDOAJ$$d2024-05-07T07:59:13Z
001005880 915__ $$0StatID:(DE-HGF)0501$$2StatID$$aDBCoverage$$bDOAJ Seal$$d2024-05-07T07:59:13Z
001005880 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001005880 915__ $$0StatID:(DE-HGF)1160$$2StatID$$aDBCoverage$$bCurrent Contents - Engineering, Computing and Technology$$d2025-01-02
001005880 915__ $$0StatID:(DE-HGF)9905$$2StatID$$aIF >= 5$$bJ ARTIF INTELL RES : 2022$$d2025-01-02
001005880 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001005880 9201_ $$0I:(DE-82)080017_20140620$$k080017$$lProfilbereich Information & Communication Technology (ICT)$$x1
001005880 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2
001005880 961__ $$c2025-03-07T14:34:00.718916$$x2025-03-07T14:34:00.718916$$z2025-03-07
001005880 9801_ $$aFullTexts
001005880 980__ $$aI:(DE-82)080017_20140620
001005880 980__ $$aI:(DE-82)120000_20140620
001005880 980__ $$aI:(DE-82)121310_20140620
001005880 980__ $$aUNRESTRICTED
001005880 980__ $$aVDB
001005880 980__ $$ajournal