On the Controller Synthesis for Finite-State Markov Decision Processes

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Algoritmická syntéza řídících jednotek pro konečné Markovovy rozhodovací procesy
Autoři	KUČERA Antonín STRAŽOVSKÝ Oldřich
Rok publikování	2008
Druh	Článek v odborném periodiku
Časopis / Zdroj	Fundamenta Informaticae
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	Markov decision process; temporal logic
Popis	V článku se zkoumá problematika algoritmické syntézy řídících jednotek pro konečné Markovovy rozhodovací procesy a třídu vlastností definovatelných pomocí temporální logiky PCTL rozšířené o predikáty umožňující popsat limitní chování běhů. Je ukázáno, že problém existence vhodné řídící jednotky je algoritmicky rozhodnutelný a je podán algoritmus na jeho konstrukci.
Související projekty:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy