arXiv ID:
2602.05456
arXiv 提交日期: 2026-02-05
本体驱动的机器人规范综合方法 / Ontology-Driven Robotic Specification Synthesis
1️⃣ 一句话总结
这篇论文提出了一种名为RSTM2的本体驱动方法,它能将机器人的高层任务目标自动转化为可执行的正式规范,并通过仿真帮助设计者在不确定性下分析系统架构、资源分配和性能,尤其适用于未来复杂的多机器人自主系统。