Timed Control Synthesis for External Specifications.

Deepak D'Souza, P. Madhusudan

Browse the full STACS paper archive.