TY  - RPRT
TI  - Order-2 bygone-state opacity of labeled finite-state automata
AU  - Kuize Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2606.26503
ID  - 2606.26503
ER  -