Categories
recording

A Generic Technique for Synthesizing Bounded Finite-State Controllers