On the Controller Synthesis for Finite-State Markov Decision Processes

Logo poskytovatele

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.