Sign in
An iterative abstraction algorithm for reactive correct-by-construction controller synthesis.
Robert Mattila
Yilin Mo
Richard M. Murray
Published in:
CDC (2015)
Keyphrases
</>
learning algorithm
dynamic programming
optimization algorithm
evolutionary algorithm
multi agent
input output
convergence rate
degrees of freedom
fuzzy systems