Real-Time Model Checking for Closed-Loop Robot Reactive Planning
闭环机器人反应式规划的实时模型检查
Christopher Chandler, Bernd Porr, Giulia Lafratta, Alice Miller
机构
*
School of Computing Science University of Glasgow Glasgow Scotland UK(计算科学学院格拉斯哥大学格拉斯哥苏格兰英国)
;
School of Biomedical Engineering University of Glasgow Glasgow Scotland UK(生物医学工程学院格拉斯哥大学格拉斯哥苏格兰英国)
;
University of Glasgow(格拉斯哥大学)
CommentsAccepted to ACL 2026 System Demonstrations. 11 pages, 5 figures, 8 tables
Journal refProceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations), pages 829-839, 2026
SMF-VO: Direct Ego-Motion Estimation via Sparse Motion Fields
SMF-VO:通过稀疏运动场进行直接自我运动估计
Sangheon Yang, Yeongin Yoon, Hong Mo Jung, Jongwoo Lim
机构
*
Department of Artificial Intelligence, Hanyang University(翰英大学人工智能系)
;
Department of Mechanical Engineering, Seoul National University(首尔国立大学机械工程系)
;
Robot Vision Lab, Seoul National University(首尔国立大学机器人视觉实验室)
机构
*
Center for Cyber-Physical Systems, Indian Institute of Science(印度科学研究院中心 for 联合体系统)
;
Department of Electrical and Systems Engineering, University of Pennsylvania(宾夕法尼亚大学电气与系统工程系)
;
Department of Aeronautics and Astronautics, Stanford University(斯坦福大学航空与航天工程系)
Active Matter as a framework for living systems-inspired Robophysics
主动物质作为生命系统框架的机器人物理学
Giulia Janzen, Gaia Maselli, Juan F. Jimenez, Lia Garcia-Perez, D A Matoz Fernandez, Chantal Valeriani
机构
*
Department of Theoretical Physics, Complutense University of Madrid(马德里Complutense大学理论物理系)
;
Department of Computer Science, Sapienza University of Rome(罗马Sapienza大学计算机科学系)
;
Dept. Arquitectura de Computadores y Automatica, Facultad de Ciencias Fisicas, Universidad Complutense(Complutense大学物理系计算机架构与自动化系)
;
Departamento de Estructura de la Materia, Física Térmica y Electrónica, Universidad Complutense de Madrid(马德里Complutense大学物质结构、热力学与电子学系)
;
GISC - Grupo Interdisciplinar de Sistemas Complejos(复杂系统跨学科集团(GISC))
CommentsThis paper has been accepted by IEEE Transactions on Intelligent Transportation Systems (T-ITS) on June 23, 2026. Journal article. 15 pages, 18 figures, 11 tables
机构
*
Amazon Fulfillment Technologies & Robotics(亚马逊履约技术与机器人)
;
Siebel School of Computing and Data Science, University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校西贝尔计算与数据科学学院)
;
Robotics Institute, Carnegie Mellon University(卡内基梅隆大学机器人研究所)
Comments8 pages, 6 figures. To appear in Proceedings of the 8th International Workshop on IoT Applications and Industry 5.0 (IoTI5 2026), co-located with IEEE DCOSS-IoT 2026, Reykjavik, Iceland, June 2026
Leveraging Deep Learning for Object and Position Recognition of Load Carriers for Autonomous Logistics Vehicles
利用深度学习实现自主物流车辆对载具的物体与位置识别
Christoph Legat, Tobias Miller, Marco Riess
机构
*
Research Group on Cognitive Autonomy & Predictive Intelligence, Technical University of Applied Sciences, Augsburg, Germany(认知自主与预测智能研究组,奥格斯堡应用技术大学,德国)
;
Grenzebach Maschinenbau GmbH, Asbach-Bäumenheim, Germany(Grenzebach Maschinenbau GmbH,德国阿斯巴赫-博伊门海姆)
Comments6 pages, 6 figures, IFAC World Congress2026, \c{opyright} 2026 the authors. This work has been accepted to IFAC for publication under a Creative Commons Licence CC-BY-NC-ND