A Generic Technique for Synthesizing Bounded Finite-State Controllers

  Abstract