TY  - RPRT
TI  - Decentralized Observation of Discrete-Event Systems: At Least One Can Tell
AU  - Stavros Tripakis
AU  - Karen Rudie
PY  - 2021
UR  - https://arxiv.org/abs/2108.04523
ID  - 2108.04523
ER  -