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