Sign in
Discrete Controller Synthesis for Infinite State Systems with ReaX.
Nicolas Berthier
Hervé Marchand
Published in:
WODES (2014)
Keyphrases
</>
learning algorithm
multi agent
artificial neural networks
computing systems