Sign in
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
Anna Lukina
Lukas Esterle
Christian Hirsch
Ezio Bartocci
Junxing Yang
Ashish Tiwari
Scott A. Smolka
Radu Grosu
Published in:
TACAS (2) (2017)
Keyphrases
</>
optimal plans
receding horizon
air traffic control
search tree
optimal planning
formation control