Sign in
Contracts and Games in Controller Synthesis for Discrete Systems.
Ralph-Johan Back
Cristina Cerschi Seceleanu
Published in:
ECBS (2004)
Keyphrases
</>
computing systems
learning algorithm
controller synthesis
autonomic computing systems