Efficient Controller Synthesis for Consumption Games with Multiple Resource Types.

Tomás Brázdil Krishnendu Chatterjee Antonín Kucera Petr Novotný

Published in: CAV (2012)

Keyphrases

controller synthesis
resource consumption
real time
back propagation
resource allocation
autonomic computing systems