@article{202410.1921,
	doi = {10.20944/preprints202410.1921.v1},
	url = {https://doi.org/10.20944/preprints202410.1921.v1},
	year = 2024,
	month = {October},
	publisher = {Preprints},
	author = {XianFeng Yu and YongMing Li and ShengLing Geng and HuiRong Li},
	title = {Research on Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking},
	journal = {Preprints}
}