萨拉戈萨大学本次发布的数据集TIMID,TIMID是由萨拉戈萨大学团队开发的机器人执行视频时序错误检测数据集,包含多机器人协同任务的模拟与真实执行视频。该数据集通过Gazebo仿真环境生成,重点捕捉互斥访问和顺序执行两类时序约束任务,包含正常执行与人为注入的协议级错误样本。数据集设计支持弱监督训练,提供视频级标签及LTL公式描述的任务规范,旨在解决复杂任务中时序逻辑违规的检测难题,为机器人执行监控提供基准测试平台。
关于萨拉戈萨大学,萨拉戈萨大学是西班牙阿拉贡自治区的一所公立大学,成立于1542年,是西班牙历史最悠久的大学之一。该校提供广泛的本科和研究生课程,涵盖人文、社会科学、自然科学、工程和医学等多个领域。
关于arXiv,全球最大的预印本学术论文数据库,涵盖物理、数学、计算机科学等多个学科领域。





_1769672084863.jpg)