TY  - RPRT
TI  - Four-valued monitorability of $ω$-regular languages
AU  - Zhe Chen
AU  - Yunyun Chen
AU  - Robert M. Hierons
AU  - Yifan Wu
PY  - 2020
UR  - https://arxiv.org/abs/2002.06737
ID  - 2002.06737
ER  -