Abstract: We investigate the problem of synthesizing safe supervisors for discrete-event systems under actuator attacks, where an adversary can partially override control commands at vulnerable states ...