Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development.

Nir Piterman

Browse the full MFCS paper archive.