@article{202404.0143,
	doi = {10.20944/preprints202404.0143.v1},
	url = {https://doi.org/10.20944/preprints202404.0143.v1},
	year = 2024,
	month = {April},
	publisher = {Preprints},
	author = {Shuo Yang and Jian Guo and Xue Rui},
	title = {ROS2 Communication Security Vulnerability Detection Based on Formal Method},
	journal = {Preprints}
}