| [1] 向锦武,董希旺,丁文锐,等. 复杂环境下无人集群系统自主协同关键技术[J]. 航空学报,2022, 43(10):333-365.
[2] GARRETT C R, CHITNIS R, HOLLADAY R, et al. Integrated task and motion planning[J]. Annual review of control, robotics, and autonomous systems, 2021, 4(1):265-293.
[3] GUO H, WU F, QIN Y, et al. Recent trends in task and motion planning for robotics:A survey[J]. ACM Computing Surveys, 2023, 55(13s):1-36.
[4] 张宏宏, 李文华, 郑家毅, et al. 有人/无人机协同作战:概念, 技术与挑战[J]. 航空学报, 2023, 45(15):29653-029653.
[5] AERONAUTIQUES C, HOWE A, KNOBLOCK C, et al. Pddl—the planning domain definition language[J]. Technical Report, Tech Rep, 1998.
[6] FOX M, LONG D. PDDL2. 1:An extension to PDDL for expressing temporal planning domains[J]. Journal of artificial intelligence research, 2003, 20:61-124.
[7] DE GIACOMO G, VARDI M Y. Linear temporal logic and linear dynamic logic on finite traces[C]//Proceedings of the 23rd International Joint Conference on Artificial Intelligence(IJCAI). AAAI Press, 2013:854-860.
[8] JUVVI M S, KURNE T D, KOLATHAYA S, et al. Signal Temporal Logic Compliant Co-design of Planning and Control[C]//2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE Press, 2025:19204-19209.
[9] BAIER C, KATOEN J-P. Principles of model checking [M]. MIT press, 2008.
[10] TOUSSAINT M. Logic-Geometric Programming:An Optimization-Based Approach to Combined Task and Motion Planning[C]//Proceedings of the 24th International Joint Conference on Artificial Intelligence(IJCAI). AAAI Press, 2015:1930-1936.
[11] TAKANO R, OYAMA H, YAMAKITA M. Continuous optimization-based task and motion planning with signal temporal logic specifications for sequential manipulation[C]//2021 IEEE international conference on robotics and automation (ICRA). IEEE Press, 2021:8409-8415.
[12] XIAOLING S, DUAN L. Recent advances in integer programming[J]. Operations Research, 2014, 18(1).
[13] WEI J, WANG X, SCHUURMANS D, et al. Chain-of-thought prompting elicits reasoning in large language models[J]. Advances in neural information processing systems, 2022, 35:24824-24837.
[14] SINGH I, BLUKIS V, MOUSAVIAN A, et al. ProgPrompt:program generation for situated robot task planning using large language models[J]. Autonomous Robots, 2023, 47(8):999-1012.
[15] HONG S, ZHUGE M, CHEN J, et al. MetaGPT:Meta programming for a multi-agent collaborative framework[C]//The 12th International Conference on Learning Representations. ICLR, 2023.
[16] HU Z, LUCCHETTI F, SCHLESINGER C, et al. Deploying and evaluating llms to program service mobile robots[J]. IEEE Robotics and Automation Letters, 2024, 9(3):2853-2860.
[17] ZITKOVICH B, YU T, XU S, et al. Rt-2:Vision-language-action models transfer web knowledge to robotic control[C]//Conference on Robot Learning (CoRL). PMLR, 2023:2165-2183.
[18] WU Y, ZHU M, LI X, et al. VLA-AN:An Efficient and Onboard Vision-Language-Action Framework for Aerial Navigation in Complex Environments[J]. arXiv preprint arXiv:251215258, 2025.
[19] GUO Z, XIA L, YU Y, et al. Lightrag:Simple and fast retrieval-augmented generation[J]. arXiv preprint arXiv:241005779, 2024.
[20] 王祝,徐广通,龙腾. 基于定制内点法的多无人机协同轨迹规划[J]. 自动化学报,2023,49(11):2374-2385.
[21] LUO H, LIU Y, ZHANG R, et al. Toward edge general intelligence with multiple-large language model (Multi-LLM):architecture, trust, and orchestration[J]. IEEE Transactions on Cognitive Communications and Networking, 2025.
[22] HU E J, SHEN Y, WALLIS P, et al. Lora:Low-rank adaptation of large language models[C]//The 11th international conference on learning representations. ICLR, 2022:3.
[23] GUO D, YANG D, ZHANG H, et al. Deepseek-r1:Incentivizing reasoning capability in llms via reinforcement learning[J]. arXiv preprint arXiv:250112948, 2025.
[24] SCHULMAN J, WOLSKI F, DHARIWAL P, et al. Proximal policy optimization algorithms[J]. arXiv preprint arXiv:170706347, 2017.
[25] YANG A, LI A, YANG B, et al. Qwen3 technical report[J]. arXiv preprint arXiv:250509388, 2025.
[26] GLM T, ZENG A, XU B, et al. Chatglm:A family of large language models from glm-130b to glm-4 all tools[J]. arXiv preprint arXiv:240612793, 2024.
[27] AGARWAL S, AHMAD L, AI J, et al. gpt-oss-120b & gpt-oss-20b model card[J]. arXiv preprint arXiv:250810925, 2025.
[28] YAO S, ZHAO J, YU D, et al. React:Synergizing reasoning and acting in language models[C]//The 11th international conference on learning representations(ICLR). ICLR, 2022. |