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

*Corresponding author for this work

Research output: Chapter in Book/Published conference output › Conference publication

Fingerprint

Dive into the research topics of 'ARES: Adaptive receding-horizon synthesis of optimal plans'. Together they form a unique fingerprint.

Keyphrases

Engineering

Computer Science

Mathematics