机器人 / 具身智能 - arXivDaily 专题

2602.03550 2026-02-04 cs.SE cs.FL cs.LO cs.RO 79%

Formal Evidence Generation for Assurance Cases for Robotic Software Models

机器人软件模型的保证案例形式证据生成

Fang Yan, Simon Foster, Ana Cavalcanti, Ibrahim Habli, James Baxter

机构 * University of York（约克大学）

专题命中其他机器人：robotic(title)；robotics(abstract)；分类 cs.RO

AI总结本文提出一种基于模型的形式验证方法，用于生成机器人软件模型的保证案例证据，通过整合形式验证工具和自动化转换需求为形式断言，提高安全性证明的效率和一致性。

Comments This is a preprint. The paper is currently under review at Software and Systems Modeling

2509.05356 2026-02-04 cs.RO cs.AI cs.LG 67%

Spiking Neural Networks for Continuous Control via End-to-End Model-Based Learning

通过端到端基于模型的学习实现连续控制的脉冲神经网络

Justus Huebotter, Pablo Lanillos, Marcel van Gerven, Serge Thill

机构 * Donders Centre for Cognition, Radboud University, Nijmegen, The Netherlands（鲁布·大学多纳中心，尼姆egen，荷兰）； Cajal Neuroscience Center, Spanish National Research Council, Madrid, Spain（西班牙国家科研 council Cajal 神经科学中心，马德里，西班牙）

专题命中其他机器人：robotic(abstract)；分类 cs.RO、cs.AI、cs.LG

AI总结本文提出了一种基于脉冲神经网络的端到端模型学习方法，用于实现高维连续控制，展示了其在机械臂控制中的有效性与高效性。

2602.02975 2026-02-04 cs.CL cs.AI cs.LG 62%

Where Norms and References Collide: Evaluating LLMs on Normative Reasoning

规范与参照的碰撞：评估大语言模型在规范推理中的能力

Mitchell Abrams, Kaveh Eskandari Miandoab, Felix Gervits, Vasanth Sarathy, Matthias Scheutz

专题命中其他机器人：embodied agent(abstract)；分类 cs.AI、cs.LG

AI总结本文提出SNIC测试平台，评估大语言模型在基于规范的参照解析任务中的能力，发现现有模型在处理隐含或冲突规范时存在显著不足。

Comments Accepted to the 40th AAAI Conference on Artificial Intelligence (AAAI-26)

2602.03455 2026-02-04 cs.MA cs.CC cs.GT 50%

Game-Theoretic and Algorithmic Analyses of Multi-Agent Routing under Crossing Costs

在交叉成本下的多智能体路由的博弈论与算法分析

Tesshu Hanaka, Nikolaos Melissinos, Hirotaka Ono

专题命中其他机器人：robotics(abstract)

AI总结本文提出了一种基于交叉成本的多智能体路由模型，结合博弈论与算法分析，解决了去中心化协调中的拥堵和延迟问题。

Comments Accepted as extended abstract at AAMAS 2026

2602.02768 2026-02-04 cs.IT math.IT 50%

Rate-Distortion Analysis of Optically Passive Vision Compression

光学被动视觉压缩的率-失真分析

Ronald Ogden, David Fridovich-Keil, Takashi Tanaka

专题命中其他机器人：robotics(abstract)

AI总结本文提出了一种基于光学生成余弦变换的视觉压缩方法，通过模拟对比发现其率-失真性能优于传统事件相机

2511.11401 2026-02-04 physics.ins-det 50%

GRANITE: High-Resolution Imaging and Electrical Qualification of Large-Area TPC Electrodes

GRANITE：大面积TPC电极的高分辨率成像与电性能验证

Shumit A. Mitra, Alexander Deisting, Jan Lommler, Uwe Oberlack, Fabian Piermaier, Quirin Weitzel, Daniel Wenz

专题命中其他机器人：robotic(abstract)

AI总结 GRANITE通过高分辨率成像和电性能测试，为未来低背景实验提供电极质量验证的新工具。

Comments 18 pages, 8 figures, submitted to JINST

Journal ref JINST 21 P01034 (2026)

1. 其他机器人 6 篇