Login / Signup
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:
CoRR (2016)
Keyphrases
</>
receding horizon
optimal plans
air traffic control
optimal linear
optimal planning
query processing
data integration