In the highly connected world of today, complex systems are often composed of multiple computers that must work together. From automated factories to the latest smart homes and thermostats, these multi-agent systems are on the cutting edge of computer science. These systems come with their own unique challenges such as synchronization and safety, and today we will learn about research at Rice that seeks to address them through reactive synthesis. For more information, visit cs.rice.edu