On the Controller Synthesis for Finite-State Markov Decision Processes

Varování

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

Název česky	O syntéze řídících jednotek pro Markovovy rozhodovací procesy s konečně mnoha stavy
Autoři	KUČERA Antonín STRAŽOVSKÝ Oldřich
Rok publikování	2005
Druh	Článek ve sborníku
Konference	25th International Conference on Foundations of Software Technology and Theoretical Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	Controller Synthesis; Markov Decision Processes
Popis	V článku je studována problematika efektivní syntézy řídících jednotek pro Markovovy rozhodovací procesy s konečně mnoha stavy a třídu vlastností definovatelných v logice PCTL rozšířené o limitní vlastnosti běhů. Je dokázáno, že problém existence takových řídících jednotek je rozhodnutelný a je podán algoritmus pro jejich konstrukci. Je také podrobněji rozebrána otázka stability řídících jednotek.
Související projekty:	Verifikace nekonečně stavových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy