机构
*
Key Laboratory of AI Safety of CAS(中国科学院人工智能安全重点实验室)
;
Institute of Computing Technology, Chinese Academy of Sciences(中国科学院计算技术研究所)
;
University of Chinese Academy of Sciences(中国科学院大学)
A Robust Simulation Framework for Verification and Validation of Autonomous Maritime Navigation in Adverse Weather and Constrained Environments
一种用于自主水路航行在恶劣天气和受限环境下的验证与验证的稳健仿真框架
Mayur S. Patil, Nataraj Sudharsan, Anthony S. Saaiby, JiaChang Xing, Keliang Pan, Veneela Ammula, Jude Tomdio, Jin Wang, Michael Kei, Heonyong Kang, Sivakumar Rathinam, Prabhakar R. Pagilla
机构
*
Department of Mechanical Engineering, Texas A&M University, College Station, USA(机械工程系,德克萨斯A&M大学,学院站,美国)
;
Department of Ocean Engineering, Texas A&M University, College Station, USA(海洋工程系,德克萨斯A&M大学,学院站,美国)
;
American Bureau of Shipping, Spring, TX, USA(美国船舶局,斯普林,德克萨斯州,美国)
ConEQsA: Concurrent and Asynchronous Embodied Questions Scheduling and Answering
ConEQsA:并发与异步具身问题调度与回答
Haisheng Wang, Dong Liu, Weiming Zhi
机构
*
Software Engineering Institute, East China Normal University(东华大学软件工程学院)
;
Department of Computer Science, Yale University(耶鲁大学计算机科学系)
;
School of Computer Science, The University of Sydney(悉尼大学计算机科学学院)
;
College of Connected Computing, Vanderbilt University(范德比大学连接计算学院)
IMR-LLM: Industrial Multi-Robot Task Planning and Program Generation using Large Language Models
IMR-LLM:基于大语言模型的工业多机器人任务规划与程序生成
Xiangyu Su, Juzhan Xu, Oliver van Kaick, Kai Xu, Ruizhen Hu
机构
*
Shenzhen University(深圳大学)
;
SpeedBot Robotics Co., Ltd.(SpeedBot机器人科技有限公司)
;
Carleton University(卡尔顿大学)
;
Institute of AI for Industries, Chinese Academy of Sciences(中国科学院工业人工智能研究所)
Credibility Governance: A Social Mechanism for Collective Self-Correction under Weak Truth Signals
可信治理:在弱真相信号下的一种社会机制,用于集体自我校正
Wanying He, Yanxi Lin, Ziheng Zhou, Xue Feng, Min Peng, Qianqian Xie, Zilong Zheng, Yipeng Kang
机构
*
School of Artificial Intelligence, Wuhan University(武汉大学人工智能学院)
;
Tsinghua University(清华大学)
;
University of California, Los Angeles(加州大学洛杉矶分校)
;
State Key Laboratory of General Artificial Intelligence, BIGAI(通用人工智能国家重点实验室,BIGAI)
机构
*
School of Electronics and Information, Northwestern Polytechnical University & Shaanxi Key Laboratory of Information Acquisition and Processing, Xi’an, China(电子工程学院,西北工业大学 & 陕西省信息采集与处理重点实验室,西安,中国)
;
School of Computing, Australian National University(计算学院,澳大利亚国立大学)
ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models
ViPlan:一个用于视觉规划的基准,结合符号谓词和视觉-语言模型
Matteo Merler, Nicola Dainese, Minttu Alakuijala, Giovanni Bonetta, Pietro Ferrazzi, Yu Tian, Bernardo Magnini, Pekka Marttinen
机构
*
Fondazione Bruno Kessler(布鲁诺·科塞拉基金会)
;
Department of Computer Science, Aalto University(艾尔沃斯大学计算机科学系)
;
Department of Mathematics, Università degli Studi di Padova(帕多瓦大学数学系)