Return to Article Details A Generic Technique for Synthesizing Bounded Finite-State Controllers Download Download PDF