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

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

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

5月6日，新加坡国立大学Jinsong Dong教授与上海交通大学林云教授来实验室交流，做了概率模型检测及其在运动博弈中的应用的报告，同时，实验室同学向董老师与林老师做了...[详细]

2023年4月22日，航天五院502所顾斌研究员、李晓锋研究员等一行4人，来实验室研讨‘面向C语言的嵌入式多核系统WCET分析与死锁检测’项目的研讨[详细]

2023年4月10日晚6：00-10：00，实验室与交通学院王玲教授团队开展了强化学习及其在智能交通上的应用等相关研究上的研讨[详细]

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

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

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

https://www.mdpi.com/journal/drones/special_issues/2E4OH1TQL3A special issue of Drones (ISSN 2504-446X).Deadline for manuscript submissions: 16 September 202...[详细]