Menu Close

Seminar Series

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

View Details