Informace o publikaci
On the Controller Synthesis for Finite-State Markov Decision Processes
| Název česky | O syntéze řídících jednotek pro Markovovy rozhodovací procesy s konečně mnoha stavy |
|---|---|
| Autoři | |
| 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 | |
| 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: |