Remarks on the difficulty of top-down supervisor synthesis.

Liyong Lin, Rong Su, Alin Stefanescu

Browse the full ICARCV paper archive.