Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
We show that the controller synthesis and verification problems for Markov decision processes with qualitative PECTL* objectives are 2-EXPTIME complete. More precisely, the algorithms are polynomial in the size of a given Markov decision process and doubly exponential in the size of a given qualitat...
প্রধান লেখক: | Brázdil, T, Forejt, V, Kucera, A |
---|---|
অন্যান্য লেখক: | Aceto, L |
বিন্যাস: | Journal article |
ভাষা: | English |
প্রকাশিত: |
Springer
2008
|
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
Markov Decision Processes with Multiple Long-run Average Objectives
অনুযায়ী: Brázdil, T, অন্যান্য
প্রকাশিত: (2011) -
Reachability in recursive Markov decision processes.
অনুযায়ী: Brázdil, T, অন্যান্য
প্রকাশিত: (2008) -
Markov Decision Processes with Multiple Long-run Average Objectives
অনুযায়ী: Tomáš Brázdil, অন্যান্য
প্রকাশিত: (2014-02-01) -
Trading Performance for Stability in Markov Decision Processes
অনুযায়ী: Brázdil, T, অন্যান্য
প্রকাশিত: (2013) -
Trading performance for stability in Markov decision processes
অনুযায়ী: Brazdil, T, অন্যান্য
প্রকাশিত: (2016)