Monthly Archives: March 2020
Designing Intelligent Machines via Reactive Synthesis
March 4th, 12:00 pm – 1:00 pm in DCH 3092 Speaker: Suguman Bansal (COMP) Please indicate interest, especially if you want lunch, here. Abstract: Intelligent machines, such as IoT devices, are fundamentally reactive systems that interact with the outer physical … Continue reading
Posted in Uncategorized
Leave a comment