On the controller synthesis for finite-state Markov decision processes

zbMATH Open1142.93012MaRDI QIDQ5450116FDOQ5450116

Authors: Oldřich Stražovský, Antonin Kučera 

Publication date: 19 March 2008

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

zbMATH Keywords

Markov decision processcontroller synthesisPCTL

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Markov and semi-Markov decision processes (90C40) Synthesis problems (93B50)

Cited In (7)

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Title not available (Why is that?)
• Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$
• Qualitative controller synthesis for consumption Markov decision processes
• Comments on “Feedback Control Logic for Forbidden-State Problems of Marked Graphs: Application to a Real Manufacturing System”
• Anytime Control Using Input Sequences With Markovian Processor Availability
• Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives

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)