Posts

Reactive Synthesis with Spectra: A Tutorial

MoDELS 2020 Best Paper Awards

On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (accepted to RoSE@ICSE'18)