Paper accepted @ ATVA 2017

Our paper on the resilient coordination of (artificial) birds to fly in a V-formation has been accepted for presentation at the Fifteenth International Symposium on Automated Technology for Verification and Analysis. The paper is entitled Attacking the V: On the Resiliency of Adaptive-Horizon MPC and has been written jointly by Ashish Tiwari (SRI), Scott A. Smolka (SUNY Stony Brook), Lukas Esterle, Anna Lukina (TU Wien), Junxing Yang (SUNY Stony Brook) and Radu Grosu (TU WIEN).

Leave a Reply