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. Dostupné z: https://www.jair.org/index.php/jair/article/view/16593
Název česky
Syntéza kontrolérů se strukturálními omezeními v Markovských rozhodovacích procesech.
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)
URL
Abstrakt

Tento článek představuje obecný přístup pro syntézu kontrolérů se strukturálními omezeními v Markovských rozhodovacích procesech (MDP).  Článek představuje koncept obarvených MDP, které dovolují kompaktně reprezentovat strukturální omezení a prohledávat prostor kandidátních řešení. Navržený přístup v mnoha případech překonává dedikované syntézní techniky.

Rok
2025
Strany
433-469
Časopis
Journal of Artificial Intelligence Research, roč. 2025, č. 82, ISSN 1076-9757
Vydavatel
AI Access Foundation
DOI
10.1613/jair.1.16593
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",
   doi = "10.1613/jair.1.16593",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13365"
}
Nahoru