Synthesizing deterministic controllers in supervisory control.

Andreas Morgenstern, Klaus Schneider

Browse the full ICINCO paper archive.