Qualitative Controller Synthesis for Consumption Markov Decision Processes.

Frantisek Blahoudek, Toms Brzdil, Petr Novotn, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

Browse the full CAV paper archive.