TY  - RPRT
TI  - Diagnosability of labeled $\mathfrak{D_p}$ automata
AU  - Kuize Zhang
AU  - Joerg Raisch
PY  - 2024
UR  - https://arxiv.org/abs/2109.07125
ID  - 2109.07125
ER  -