A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations Authors Yoshisato SAKAI Downloads Requires Subscription PDF Published 2007-04-01 Issue Vol. E90-A, No. 4 April 2007 Section Papers