Citations:codiagnosability


 * 2010 Franck Cassez, "The Complexity of Codiagnosability for Discrete Event and Timed Systems" arXiv
 * We also settle the complexity of the codiagnosability problems both for FA and TA and show that codiagnosability is PSPACE-complete in both cases.