Efficient Controller Synthesis for Consumption Games with Multiple Resource Types.

Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn

Browse the full CAV paper archive.