Efficient Strategy Synthesis for MDPs with Resource Constraints

Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu