h1

h2

h3

h4

h5
h6

001     1005880
005     20250623092718.0
024 7 _ |2 ISSN
|a 1076-9757
024 7 _ |2 ISSN
|a 1943-5037
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-85218450611
024 7 _ |2 WOS
|a WOS:001451353400007
024 7 _ |2 datacite_doi
|a 10.18154/RWTH-2025-02074
024 7 _ |2 doi
|a 10.1613/jair.1.16593
037 _ _ |a RWTH-2025-02074
041 _ _ |a English
082 _ _ |a 004
100 1 _ |0 0000-0002-1286-934X
|a Andriushchenko, Roman
|b 0
245 _ _ |a An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty
|h online
260 _ _ |a [Erscheinungsort nicht ermittelbar]
|b AI Access Found.
|c 2025
336 7 _ |0 0
|2 EndNote
|a Journal Article
336 7 _ |0 PUB:(DE-HGF)16
|2 PUB:(DE-HGF)
|a Journal Article
|b journal
|m journal
336 7 _ |2 BibTeX
|a ARTICLE
336 7 _ |2 DRIVER
|a article
336 7 _ |2 DataCite
|a Output Types/Journal article
336 7 _ |2 ORCID
|a JOURNAL_ARTICLE
588 _ _ |a Dataset connected to CrossRef, Journals: publications.rwth-aachen.de
591 _ _ |a Czech Republic
591 _ _ |a Germany
591 _ _ |a Netherlands
700 1 _ |0 0000-0002-0300-9727
|a Češka, Milan
|b 1
700 1 _ |0 0009-0004-4277-2751
|a Macák, Filip
|b 2
700 1 _ |0 P:(DE-82)IDM01624
|a Junges, Sebastian
|b 3
|e Corresponding author
700 1 _ |0 P:(DE-82)IDM00048
|a Katoen, Joost-Pieter
|b 4
|e Corresponding author
|u rwth
773 _ _ |0 PERI:(DE-600)1468362-3
|a 10.1613/jair.1.16593
|p 433-469
|t Journal of artificial intelligence research : JAIR
|v 82
|x 1076-9757
|y 2025
856 4 _ |u https://publications.rwth-aachen.de/record/1005880/files/1005880.pdf
|y OpenAccess
909 C O |o oai:publications.rwth-aachen.de:1005880
|p VDB
|p dnbdelivery
|p driver
|p open_access
|p openaire
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM00048
|a RWTH Aachen
|b 4
|k RWTH
914 1 _ |y 2025
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
|x 0
915 _ _ |0 LIC:(DE-HGF)CCBY4
|2 HGFVOC
|a Creative Commons Attribution CC BY 4.0
915 _ _ |0 StatID:(DE-HGF)0030
|2 StatID
|a Peer Review
|b DOAJ : Anonymous peer review
|d 2024-05-07T07:59:13Z
915 _ _ |0 StatID:(DE-HGF)0100
|2 StatID
|a JCR
|b J ARTIF INTELL RES : 2022
|d 2025-01-02
915 _ _ |0 StatID:(DE-HGF)0113
|2 StatID
|a WoS
|b Science Citation Index Expanded
|d 2025-01-02
915 _ _ |0 StatID:(DE-HGF)0150
|2 StatID
|a DBCoverage
|b Web of Science Core Collection
|d 2025-01-02
915 _ _ |0 StatID:(DE-HGF)0160
|2 StatID
|a DBCoverage
|b Essential Science Indicators
|d 2025-01-02
915 _ _ |0 StatID:(DE-HGF)0199
|2 StatID
|a DBCoverage
|b Clarivate Analytics Master Journal List
|d 2025-01-02
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2025-01-02
915 _ _ |0 StatID:(DE-HGF)0300
|2 StatID
|a DBCoverage
|b Medline
|d 2025-01-02
915 _ _ |0 StatID:(DE-HGF)0500
|2 StatID
|a DBCoverage
|b DOAJ
|d 2024-05-07T07:59:13Z
915 _ _ |0 StatID:(DE-HGF)0501
|2 StatID
|a DBCoverage
|b DOAJ Seal
|d 2024-05-07T07:59:13Z
915 _ _ |0 StatID:(DE-HGF)0510
|2 StatID
|a OpenAccess
915 _ _ |0 StatID:(DE-HGF)1160
|2 StatID
|a DBCoverage
|b Current Contents - Engineering, Computing and Technology
|d 2025-01-02
915 _ _ |0 StatID:(DE-HGF)9905
|2 StatID
|a IF >= 5
|b J ARTIF INTELL RES : 2022
|d 2025-01-02
920 1 _ |0 I:(DE-82)121310_20140620
|k 121310
|l Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)
|x 0
920 1 _ |0 I:(DE-82)080017_20140620
|k 080017
|l Profilbereich Information & Communication Technology (ICT)
|x 1
920 1 _ |0 I:(DE-82)120000_20140620
|k 120000
|l Fachgruppe Informatik
|x 2
980 1 _ |a FullTexts
980 _ _ |a I:(DE-82)080017_20140620
980 _ _ |a I:(DE-82)120000_20140620
980 _ _ |a I:(DE-82)121310_20140620
980 _ _ |a UNRESTRICTED
980 _ _ |a VDB
980 _ _ |a journal

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21