Raja Sengupta, Stavros Tripakis. Decentralized diagnosability of regular languages is undecidable. In 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002. pages 423-428, IEEE, 2002. [doi]
Abstract is missing.