国家自然科学基金重点项目“人机物系统的计算模型与软件定义方法”的2023年度会议于10月28-29日在实验室找召开，项目负责人西南大学刘志明教授、子课题负责人国防科技大...[详细]

硕士研究生陈姝彤同学荣获国家奖学金[详细]

实验室开展基于深度强化学习的双无人机协同搬运的研究，经过同学们的努力，从最初的完全由人工设计两无人机的协同合作的控制模块完成将物体搬运到目的地（Weng, Q. L., ...[详细]

论文Robustness Testing for Multi-Agent Reinforcement Learning: State Perturbations on Critical Agents，Ziyuan Zhou and Guanjun Liu被2023年度ECAI（26th Europe...[详细]

2023年7月6日-7日，美国Rowan大学唐瑛教授来实验室就强化学习研究以及如何做研究开展交流[详细]

2023年7月5日西北工业大学董云卫教授与与宁夏大学葛永琪副教授来实验室交流，就基于二进制代码的程序优化问题开展研讨[详细]

2023年6月22日-24日，美国Monmouth大学计算机科学系王加存教授来实验室交流，就基于随机Petri网的教学楼逃生疏散控制模型以及基于强化学习的教学楼逃生疏散控制模型等研...[详细]

2023年3月24日至25日，CCF形式化专委董威秘书长、刘志明委员、董云卫委员与刘关俊委员到访海南大学计算机学院[详细]

2023年3月18日-19日，国家自然科学基金重点项目：人机物融合系统的计算模型与软件定义方法研究，在国防科技大学进行了研讨，由第3课题负责人董威教授及其团队组织，项目...[详细]

3月10日下午1：30-3：10，周孟初教授在117大厅做了如何从事高质量研究以及如何撰写高质量学术论文的报告，为博士研究生与硕士研究生的研究生涯提供了有意的见解[详细]