On the software engineering challenges of applying reactive synthesis to robotics.

Shahar Maoz, Jan Oliver Ringert

Browse the full ICSE paper archive.