机器人 / 具身智能

LTL$_f$ Learning Meets Boolean Set Cover

LTLf学习与布尔集合覆盖

Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove

机构 * LaBRI, Université de Bordeaux, France（拉伯里实验室，波尔多大学，法国） ； DIENS, Paris, France（巴黎迪恩斯研究所，法国） ； LaBRI, CNRS, Université de Bordeaux, France（拉伯里实验室，法国国家科学研究中心，波尔多大学，法国） ； Univ Rennes, CNRS, Inria, IRISA, Rennes, France（里昂大学，法国国家科学研究中心，法国国家信息与自动化研究所，IRISA，法国） ； UMONS – Université de Mons, Belgium（蒙斯大学，比利时） 纠错

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

AI总结 本文提出了一种基于布尔集合覆盖的高效方法，用于从有限轨迹中加速学习LTLf公式，显著提升了学习速度和公式规模控制。

Comments Full version of TACAS 2026 conference paper. 24 pages, 4 figures

Learning-based Multi-View Stereo: A Survey

基于学习的多视图立体：综述

Fangjinhua Wang, Qingtian Zhu, Di Chang, Quankai Gao, Junlin Han, Tong Zhang, Richard Hartley, Marc Pollefeys

机构 * Department of Computer Science, ETH Zurich（苏黎世联邦理工学院计算机科学系） ； Graduate School of Information Science and Technology, The University of Tokyo（东京大学信息科学与技术研究生院） ； Department of Computer Science, University of Southern California（南加州大学计算机科学系） ； Department of Engineering Science, University of Oxford（牛津大学工程科学系） ； University of Chinese Academy of Sciences（中国科学院大学） ； School of Computer and Communication Sciences, EPFL（苏黎世联邦理工学院计算机与通信科学学院） ； Australian National University（澳大利亚国立大学） ； Microsoft, Zurich（微软（瑞士）） 纠错

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

AI总结 本文综述了基于学习的多视图立体方法，重点介绍了基于深度图的方法，并讨论了该领域未来的研究方向。

Comments Accepted to IEEE T-PAMI 2026

In the Search for Good Neck Cuts

寻找优良颈部切割

Sam Ruggerio, Sariel Har-Peled

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

AI总结 本文提出了一种新的表面瓶颈定义，并设计了基于此的算法，用于寻找表面的颈部特征，应用于机器人、网格分割和算法领域。

Steering self-organisation through confinement

通过约束引导自组织

Nuno A. M. Araújo, Liesbeth M. C. Janssen, Thomas Barois, Guido Boffetta, Itai Cohen, Alessandro Corbetta, Olivier Dauchot, Marjolein Dijkstra, William M. Durham, Audrey Dussutour, Simon Garnier, Hanneke Gelderblom, Ramin Golestanian, Lucio Isa, Gijsje H. Koenderink, Hartmut Löwen, Ralf Metzler, Marco Polin, C. Patrick Royall, Anđela Šarić, Anupam Sengupta, Cécile Sykes, Vito Trianni, Idan Tuval, Nicolas Vogel, Julia M. Yeomans, Iker Zuriguel, Alvaro Marin, Giorgio Volpe

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

AI总结 本文探讨了约束在自组织中的作用，提出通过约束引导自组织以提升科学和技术应用。

Journal ref Soft Matter, 19, 1695 (2023)