Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level Descriptions.

Andrew Seawright, Wolfgang Meyer

Browse the full DAC paper archive.