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

Browse the full TACAS paper archive.