Formal synthesis of embedded control software: Application to vehicle management systems. (2011)

by T Wongpiromsarn, U Topcu, R M Murray
Venue:In Proc. AIAA Infotech@Aerospace,