Informace o publikaci
On the Controller Synthesis for Finite-State Markov Decision Processes
| Název česky | Algoritmická syntéza řídících jednotek pro konečné Markovovy rozhodovací procesy |
|---|---|
| Autoři | |
| Rok publikování | 2008 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Fundamenta Informaticae |
| Fakulta / Pracoviště MU | |
| 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: |