1. Towards software architecture and accompanying behavior mechanism of autonomous robotic control software based on multi-agent system;Xinjun;J. Softw.,2020
2. On provably safe and live multirobot coordination with online goal posting;Mannucci;IEEE Trans. Robot.,2021
3. Coordinate transformation in unmanned systems using Clifford algebra;Nasry,2019
4. Abstracting iot protocols using timed process algebra and spin model checker;Kumar;Cluster Comput., J. Netw. Softw. Tools Appl.,2023
5. Formalization of operations of block matrix based on coq;Yingying;J. Softw.,2021