Publication Details

An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty

ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter and MACÁK Filip. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. Journal of Artificial Intelligence Research, vol. 2025, no. 82, pp. 433-469. ISSN 1076-9757.
Type
journal article
Language
english
Authors
Andriushchenko Roman, Ing. (DITS FIT BUT)
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Macák Filip, Ing. (DITS FIT BUT)
Published
2025
Pages
433-469
Journal
Journal of Artificial Intelligence Research, vol. 2025, no. 82, ISSN 1076-9757
Publisher
AI Access Foundation
BibTeX 
@ARTICLE{FITPUB13365,
   author = "Roman Andriushchenko and Milan \v{C}e\v{s}ka and Sebastian Junges and Joost-Pieter Katoen and Filip Mac\'{a}k",
   title = "An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty",
   pages = "433--469",
   journal = "Journal of Artificial Intelligence Research",
   volume = 2025,
   number = 82,
   year = 2025,
   ISSN = "1076-9757",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13365"
}
Back to top