Detail publikace
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty
ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter a MACÁK Filip. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. Journal of Artificial Intelligence Research, roč. 2025, č. 82, s. 433-469. ISSN 1076-9757.
Typ
článek v časopise
Jazyk
angličtina
Autoři
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Macák Filip, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Macák Filip, Ing. (UITS FIT VUT)
Rok
2025
Strany
433-469
Časopis
Journal of Artificial Intelligence Research, roč. 2025, č. 82, ISSN 1076-9757
Vydavatel
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" }