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