TCT: A Computation Tool for Supervisory Control Synthesis

This paper introduces the new features of the TCT software package