Posts

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