Qualitative controller synthesis for consumption Markov decision processes

DOI10.1007/978-3-030-53291-8_22zbMath1481.93035arXiv2005.07227OpenAlexW3046445210MaRDI QIDQ2226753

Ufuk Topcu, Pranay Thangeda, Tomáš Brázdil, Petr Novotný, Melkior Ornik, František Blahoudek

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/2005.07227

Mathematics Subject Classification ID

Synthesis problems (93B50) Markov and semi-Markov decision processes (90C40) Stochastic systems in control theory (general) (93E03)

Related Items (1)

Quantitative controller synthesis for consumption Markov decision processes

This page was built for publication: Qualitative controller synthesis for consumption Markov decision processes