TY  - GENERIC
DO  - 10.20944/preprints202410.1921.v1
UR  - http://dx.doi.org/10.20944/preprints202410.1921.v1
TI  - Research on Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking
T2  - Preprints
AU  - Yu, XianFeng
AU  - Li, YongMing
AU  - Geng, ShengLing
AU  - Li, HuiRong
PY  - 2024
DA  - 2024/10/24
PB  - Preprints