Mert Cemri, Andrei Cojocaru, Melissa Pan, Shu Liu, Shubham Agarwal, Alexander Krentsel, Jay Tang, Kannan Ramchandran, Joseph E. Gonzalez, Matei Zaharia, Alex Dimakis, Ion Stoica
机构
*
University of California, Berkeley(加州大学伯克利分校)
;
Apple(苹果公司)
;
Bespoke Labs(Bespoke实验室)
A Methodology for Designing Knowledge-Driven Missions for Robots
为机器人设计知识驱动任务的方法论
Guillermo GP-Lenza, Carmen DR. Pita-Romero, Miguel Fernandez-Cortizas, Pascual Campoy
机构
*
Computer Vision and Aerial Robotics group (CVAR), Centre for Automation and Robotics (CAR) Universidad Politécnica de Madrid (UPM), Madrid, Spain(计算机视觉与空中机器人小组(CVAR)、自动化与机器人中心(CAR)马德里理工大学(UPM)、马德里,西班牙)
GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure
GoGoTB:基于规范驱动覆盖闭合的智能体式RTL验证
Xin Xin, Jincheng Lou, Junhui Li, Jinglin Yan, Panda Xiao, Di Wu, Haixiao Li, Weicong Lu, Weijian Fan, Xinyu Qu, Yuxiang Zhao, Min Yu, Zhixiong Di, Yibo Lin
机构
*
Tencent(腾讯)
;
School of Integrated Circuits, Peking University(北京大学集成电路学院)
;
Southwest Jiaotong University(西南交通大学)
;
Institute of Electronic Design Automation, Peking University(北京大学电子设计自动化研究所)
;
Beijing Advanced Innovation Center for Integrated Circuits(北京集成电路高精尖创新中心)
LLM-Grounded Dynamic Task Planning with Hierarchical Temporal Logic for Human-Aware Multi-Robot Handover
基于分层时序逻辑的LLM引导动态任务规划用于人感知多机器人协作
Shuyuan Hu, Tao Lin, Kai Ye, Tianwei Zhang
机构
*
The Shenzhen Institute of Artificial Intelligence and Robotics for Society(深圳人工智能与机器人社会研究院)
;
Harbin Institute of Technology(哈尔滨工业大学)
;
The Chinese University of Hong Kong-Shenzhen(香港中文大学(深圳))
;
Tsinghua Shenzhen International Graduate School(清华大学深圳国际 Graduate School)