Supervisory Control of Finite State Machines.

Adnan Aziz, Felice Balarin, Robert K. Brayton, Marika Domenica Di Benedetto, Alexander Saldanha

Browse the full CAV paper archive.