When Lyapunov meets Church, automated synthesis of complex systems emerges
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 […]