Red Tiger Mining Inc., through its subsidiaries, engages in the acquisition, exploration, and development of copper and gold properties in the state of Sonora, Mexico. It holds interest in the San ...

Abstract: This letter investigates the verification problem of codiagnosability for discrete-event systems modeled by constant-time automata (CTAs). Codiagnosability requires that the occurrence of a ...