Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
基于循环线性时序逻辑的多机器人系统高效协调与同步
Davide Peron, Victor Nan Fernandez-Ayala, Eleftherios E. Vlahakis, Dimos V. Dimarogonas
机构
*
Department of Information Engineering, University of Padova(帕多瓦大学信息工程系)
;
Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology(皇家理工学院电气工程与计算机科学学院决策与控制系统系)
Hallucination Mitigation with Agentic AI, Nested Learning, and AI Sustainability via Semantic Caching
基于智能体AI、嵌套学习与语义缓存的幻觉缓解与AI可持续性
Diego Gosmar, Deborah A. Dahl
机构
*
Head of AI, Tesisquare Member, Open Voice Interoperability Initiative Linux Foundation AI & Data(AI负责人,Tesisquare成员,开放语音互操作性倡议Linux基金会AI与数据)
;
Principal, Conversational Technologies Member, Open Voice Interoperability Initiative Linux Foundation AI & Data(首席科学家,对话技术成员,开放语音互操作性倡议Linux基金会AI与数据)
机构
*
University of Macau(澳门大学)
;
Fudan University(复旦大学)
;
Hangzhou Dianzi University(杭州电子科技大学)
;
Renmin University of China(中国人民大学)
;
Hanyang University(翰阳大学)
;
Tsinghua University(清华大学)
;
Zhejiang University(浙江大学)
;
University of Liverpool(利物浦大学)
;
Southeast University(东南大学)
;
Central South University(中南大学)
Safety from Honesty in a Disinterested AI Predictor
无兴趣AI预测器中的诚实安全性
Yoshua Bengio, Oliver Richardson, Tomáš Gavenčiak, Michael Cohen, Rory Svarc, Damiano Fornasiere, Gael Gendron, David Hyland, Aton Kamanda, Adam Oberman, Francis Rhys Ward, Anna Gavenčiak, Jacob Livingston Slosser, Vincent Mai, Iulian Serban, Joumana Ghosn
机构
*
LawZero
;
Université de Montréal(蒙特利尔大学)
;
Mila
;
University of California Berkeley(加州大学伯克利分校)
;
McGill University(麦吉尔大学)
;
Arb Research
;
Center for Theoretical Study Charles University in Prague(布拉格查理大学理论研究中心)
;
University of Oxford(牛津大学)
;
Sapien Institute(Sapien研究所)
Algorithmic Prompt Generation for Diverse Human-like Teaming and Communication with Large Language Models
面向多样化类人团队协作与通信的算法化提示生成与大型语言模型
Siddharth Srikanth, Varun Bhatt, Boshen Zhang, Werner Hager, Charles Michael Lewis, Katia P. Sycara, Aaquib Tabrez, Stefanos Nikolaidis
机构
*
Thomas Lord Department of Computer Science, University of Southern California(美国南加州大学汤姆·劳德计算机科学系)
;
School of Computing and Information, University of Pittsburgh(美国匹兹堡大学计算与信息学院)
;
Robotics Institute, Carnegie Mellon University(卡内基梅隆大学机器人研究所)
;
Sibley School of Mechanical and Aerospace Engineering, Cornell University(康奈尔大学西伯利机械与航空航天工程学院)
Comments171 pages. Formalized in Lean 4 with Mathlib: 240 theorems in the elaborated environment, 141 audited headline results, cold-compiling from a clean checkout with zero custom axioms. Source, theorem-by-theorem contract, and reproducible axiom audit: https://github.com/selfreferencing/TSE_Formal. Companion to Agentic Capital
Comments21 pages, 4 figures. v2: Added proofs of the nonexistence of non-trivially 0k1-valid and 01k0-valid formulas in multi-agent KD45, thereby completing the classification for this class. Revised related statements and proofs throughout
Comments7 pages, 4 figures, 3 tables and this paper was accepted at Multi-Agent Robotic Systems: Real-World Collaboration and Interaction a workshop at the international conference of robotics and automation (ICRA 2026)