Login / Signup
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