-
Title: When Lyapunov meets Church, automated synthesis of complex systems emerges Speaker: Prof. Majid Zamani, Technische Universität München, Germany Date: Thursday, September 24, 2015 Time: 3:30 p.m. Location: Engineering Colloquia Room 2430 Host: Faryar Jabbari and Solmaz S. Kia Abstract: Software plays a crucial role in many everyday applications. Modern vehicles and airplanes, for instance, […]