Modular Synthesis of Discrete Controllers.

Petra Malik, Robi Malik, David Streader, Steve Reeves

Browse the full ICECCS paper archive.