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