Login / Signup
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis.
Robert Mattila
Yilin Mo
Richard M. Murray
Published in:
CoRR (2015)
Keyphrases
</>
optimization algorithm
learning algorithm
dynamic programming
multi agent
path planning