Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 34 of 58
Title & Authors Actions
Event-Frame-Inertial Odometry Using Point and Line Features Based on Coarse-To-Fine Motion Compensation AI summary
Byeongpil Choi, Hanyeol Lee, Chan Gook Park
 View PDF
VBGS-SLAM: Variational Bayesian Gaussian Splatting Simultaneous Localization and Mapping AI summary
Yuhan Zhu, Yanyu Zhang, Jie Xu, Wei Ren
 View PDF
MSG-Loc: Multi-Label Likelihood-Based Semantic Graph Matching for Object-Level Global Localization AI summary
Gihyeon Lee, Jungwoo Lee, Juwon Kim, Young-Sik Shin, Younggun Cho
 View PDF
ScheduleStream: Temporal Planning with Samplers for GPU-Accelerated Multi-Arm Task and Motion Planning & Scheduling AI summary
Caelan Garrett, Fabio Ramos
 View PDF
Semi-SMD: Semi-Supervised Metric Depth Estimation Via Surrounding Cameras for Autonomous Driving AI summary
Yusen Xie, Zhenmin Huang, Shaojie Shen, Jun Ma
 View PDF
MTRDrive: Memory-Tool Synergistic Reasoning for Robust Autonomous Driving in Corner Cases AI summary
Ziang Luo, Kangan Qian, Jiahua Wang, Jinyu Miao, Zheng Fu, yuechen luo, Yunlong Wang, Sicong Jiang, Zilin Huang, Yifei HU, Yuhao Yang, Hao YE, Mengmeng Yang, Xiaojian Dong, Kun Jiang, Diange Yang
 View PDF
Collaborative Human-Robot Object Transportation Using a Deformable Sheet AI summary
Weijian Zhang, Charlie Street, Masoumeh Mansouri
 View PDF
Tactile Hide and Seek: Bimanual Object Blind Search and Retrieval Via Tactile-Only Feedback AI summary
Xiangyu Fu, Hao Xing, Simon Armleder, Wenlan Shen, Fengyi Wang, Julio Rogelio Guadarrama Olvera, Gordon Cheng
 View PDF
Probing Multimodal LLMs As World Models for Driving AI summary
Shiva Sreeram, Tsun-Hsuan Wang, Alaa Maalouf, Guy Rosman, Sertac Karaman, Daniela Rus
 View PDF
Occlusion-Aware Consistent Model Predictive Control for Robot Navigation in Occluded Obstacle-Dense Environments AI summary
Minzhe Zheng, Lei Zheng, Lei Zhu, Jun Ma
 View PDF
VisuaLLMPlanner - a Maneuver Planner for Automated Vehicles Using Large Language Models AI summary
Daniel Neurath, Bernd Schäufele, Ilja Radusch
 View PDF
DISCO: Language-Guided Manipulation with Diffusion Policies and Constrained Inpainting AI summary
Ce Hao, Kelvin Lin, Zhiwei Xue, Siyuan Luo, Harold Soh
 View PDF
Real-Time Modeling of Environmental Forces During Pushing in Granular Media Using S-RFT AI summary
Jiaxin Liu, Yang Tian, Longchuan Li, Shugen Ma, Zhongkui Wang
 View PDF
Smooth Human-Robot Shared Control for Autonomous Orchard Monitoring with UGVs AI summary
Cheikh Melainine El Bou, Michele Focchi, Michael Chang, Marco Camurri, Karl Dietrich von Ellenrieder
 View PDF
Learning Social Navigation from Positive and Negative Demonstrations and Rule-Based Specifications AI summary
Chanwoo Kim, JiHwan Yoon, Hyeonseong Kim, Taemoon Jeong, Changwoo Yoo, Seungbeen Lee, SooHwan Byeon, Hoon Chung, Matthew Pan, Jean Oh, Kyungjae Lee, Sungjoon Choi
 View PDF
Online Planning for Multi-UAV Pursuit-Evasion in Unknown Environments Using Deep Reinforcement Learning AI summary
Jiayu Chen, Chao Yu, Guosheng Li, Wenhao Tang, Shilong Ji, Xinyi Yang, Botian Xu, Huazhong Yang, Yu Wang
 View PDF
M-VTOP: Modular Visuo-Tactile Object Pose Estimation for High-Precision Robotic Manipulation AI summary
Miquel Oller, Qiyang Qian, Radu Corcodel, Siddarth Jain
 View PDF
Hebbian Attractor Networks for Robot Locomotion AI summary
Alexander Dittrich, Fuda van Diggelen, Dario Floreano
 View PDF
Trustworthy Delayed Teleoperation Via an Imperfect Regolith Model AI summary
Joe Louca, John Vrublevskis, Kerstin Eder, Antonia Tzemanaki
 View PDF
Robust Person Re-Identification for Service Robots Via One-Class Body-Part Transformer and Continual Learning AI summary
Enrique Aleman-Gallegos, Sven Wachsmuth
 View PDF
A Bayesian Reasoning Framework for Robotic Systems in Autonomous Casualty Triage AI summary
Szymon Rusiecki, Cecilia Morales, Pia Störy, Kimberly Elenberg, Leonard Weiss, Artur Dubrawski
 View PDF
S$^2$-Diffusion: Generalizing from Instance-Level to Category-Level Skills in Robot Manipulation AI summary
Quantao Yang, Michael C. Welle, Danica Kragic, Olov Andersson
 View PDF
Following to Talk: Effects of Mobile Robot Guidance on Dialogue Motivation in a Field Trial AI summary
Masaya Iwasaki, Kazuki Masuda, Kazuki Sakai, Midori Ban, Zihao Chi, Megumi Kawata, Alexis Meneses, Hiroshi Ishiguro, Yuichiro Yoshikawa
 View PDF
Agile in the Face of Delay: Asynchronous End-To-End Learning for Real-World Aerial Navigation AI summary
Yude Li, Zhexuan Zhou, Huizhe Li, Youmin Gong, Jie Mei
 View PDF
KISS-IMU: Self-Supervised Inertial Odometry with Motion-Balanced Learning and Uncertainty-Aware Inference AI summary
Jiwon Choi, Hogyun Kim, Geonmo Yang, Juhui Lee, Younggun Cho
 View PDF
STEAM-LIVO: Spatio-Temporally Adaptive Manifold Lidar-Inertial-Visual Odometry for Sensor Degradation in Unstructured Natural Aquatic-Terrestrial Scenes AI summary
Yubo Guo, Gang Peng, Jialuo Li, Hai-Tao Zhang
 View PDF
Design of a Variable Stiffness Quasi-Direct Drive Cable-Actuated Tensegrity Robot AI summary
Jonathan Mi, Wenzhe Tong, Yilin Ma, Xiaonan Huang
 View PDF
Perception-Control Coupled Visual Servoing for Textureless Objects Using Keypoint-Based EKF AI summary
Allen Tao, Jun Yang, Stanko Oparnica, Wenjie Xue
 View PDF
SA-VLM V2: Useful, Comprehensive, and Concise Guidance for Guide-Dog Robots Assisting the Visually Impaired AI summary
Woo-han Yun, JaeHo Shin, BeomSu Seo, Jaehong Kim, ByungOk Han
 View PDF
Dense Monocular SLAM in Real-Time with Structured Gaussian Representation AI summary
Shaofan Liu, Xing Wei, Chong Zhao, Aoxiang Tian, Bin Du
 View PDF
Mobile Robot Navigation Using Hand-Drawn Maps: A Vision Language Model Approach AI summary
Aaron Hao Tan, Angus Fung, Haitong Wang, Goldie Nejat
 View PDF
PGP-DOR: A Point-Grid-Point Scheme for Efficient Dynamic Object Removal AI summary
Shuo Wang, Zhenping Sun, Hanzhang Xue, Bokai Liu, Hao Fu, YinFu Luo
 View PDF
Differentiable Optimization-Based Modular Planning Framework for Pick-And-Place with Regrasp AI summary
Yejun Song, Seoki An, Somang Lee, Jeongmin Lee, Jeongseob Lee, Geun Su Yoo, Dongjun Lee
 View PDF
Informative Object-Centric Next Best View for Object-Aware 3D Gaussian Splatting in Cluttered Scenes AI summary
Seung Hoon Jeong, Eunho Lee, Jeongyun Kim, Ayoung Kim
 View PDF
Design and Implementation of an Angle-Bisecting Foot Mechanism for a Leg-Wheel Transformable Robot AI summary
Hsing-Chen LEE, Wei-Shun Yu, Pei-Chun Lin
 View PDF
Interpretable Multimodal Gesture Recognition for Drone and Mobile Robot Teleoperation Via Log-Likelihood Ratio Fusion AI summary
Seungyeol Baek, Jaspreet Singh, Lala Ray,, Hymalai Bello, Paul Lukowicz,, and Sungho Suh
 View PDF
Residual Off-Policy RL for Finetuning Behavior Cloning Policies AI summary
Lars Ankile, Zhenyu Jiang, Yan Duan, Guanya Shi, Pieter Abbeel, Anusha Nagabandi
 View PDF
Language Enabled Hierarchical Scene Graphs for Precision Agriculture Autonomy AI summary
Adam Mukuddem, John Adam Speed-Andrews, Paul Amayo
 View PDF
UniDoorManip: Learning Universal Door Manipulation Policy Over Large-Scale and Diverse Door Manipulation Environments AI summary
Yu Li, Xiaojie Zhang, Ruihai Wu, zilong zhang, Yiran Geng, Hao Dong, Zhaofeng He
 View PDF
CDF-Glove: A Cable-Driven Force Feedback Glove for Dexterous Teleoperation AI summary
Huayue Liang, Ruochong Li, Yaodong Yang, Long Zeng, Yuanpei Chen and Xueqian Wang
 View PDF
Tightly-Coupled Dynamic Object Tracking and RGB-D Inertial Odometry Estimation with Dual Quadrics AI summary
Toyozo Shimada, Kenji Koide, Aoki Takanose, Shuji Oishi, Masashi Yokozuka, and Jun Miura
 View PDF
Spectral Security Imaging System (SSIS): Optical Authenticity for Hyperspectral Pushbroom Imaging AI summary
Pablo Andres Gomez Toloza, Javier Andres Quiroga Torres, Hans Garcia, Gonzalo Arce, Henry Arguello Fuentes
 View PDF
UrbanHuRo: A Two-Layer Human-Robot Collaboration Framework for the Joint Optimization of Heterogeneous Urban Services AI summary
Tonmoy Dey, Lin Jiang, Zheng Dong, Guang Wang
 View PDF
Grounding Language Models with Semantic Digital Twins for Robotic Planning AI summary
Mehreen Naeem, Andrew Melnik, Michael Beetz
 View PDF
Design, Modeling and Direction Control of a Wire-Driven Robotic Fish Based on a 2-DoF Crank�Slider Mechanism AI summary
Yita Wang, Chen Chen, Yicheng Chen, Jinjie Li, Yuichi Motegi, Kenji Ohkuma, Toshihiro Maki, Moju Zhao
 View PDF
Integrated Exploration and Sequential Manipulation on Scene Graph with LLM-based Situated Replanning AI summary
Heqing Yang, Ziyuan Jiao, Shu Wang, Yida Niu, Si Liu, Hangxin Liu
 View PDF
Context-Triggered Contingency Games for Strategic Multi-Agent Interaction AI summary
Kilian Schweppe, Anne-Kathrin Schmuck
 View PDF
Constrained Articulated Body Algorithms for Closed-Loop Mechanisms AI summary
Ajay Suresha Sathya, Justin Carpentier
 View PDF
SAGrid: Scaling Robot Simulation through Automatic Affordance Annotation on In-The-Wild 3D Assets AI summary
Cem Gokmen, Yalcin Tur, Aditesh Kumar, Auddithio Nag, Li Fei-Fei
 View PDF
Long-Horizon Planning with Large Language Models for Indoor Assistive Navigation of the Visually Impaired AI summary
Yiyang Sun, Chengran Lin, Ji Xia, Zhengcai Cao
 View PDF