On the controller synthesis for finite-state Markov decision processes
From MaRDI portal
Publication:5450116
Recommendations
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 2163041
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
- Synthesizing efficient controllers
- Tableaux for policy synthesis for MDPs with PCTL* constraints
Cited in
(10)- Tableaux for policy synthesis for MDPs with PCTL* constraints
- Comments on “Feedback Control Logic for Forbidden-State Problems of Marked Graphs: Application to a Real Manufacturing System”
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
- Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$
- Qualitative controller synthesis for consumption Markov decision processes
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Synthesizing efficient controllers
- Anytime Control Using Input Sequences With Markovian Processor Availability
- Trading performance for stability in Markov decision processes
- scientific article; zbMATH DE number 2163041 (Why is no real title available?)
This page was built for publication: On the controller synthesis for finite-state Markov decision processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5450116)
