TY  - RPRT
TI  - Qualitative Controller Synthesis for Consumption Markov Decision Processes
AU  - František Blahoudek
AU  - Tomáš Brázdil
AU  - Petr Novotný
AU  - Melkior Ornik
AU  - Pranay Thangeda
AU  - Ufuk Topcu
PY  - 2020
UR  - https://arxiv.org/abs/2005.07227
ID  - 2005.07227
ER  -