Fingerprint
Dive into the research topics of 'Qualitative Controller Synthesis for Consumption Markov Decision Processes'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Qualitative Controller Synthesis for Consumption Markov Decision Processes
František Blahoudek, Tomáš Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution