Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 13 of 58
Title & Authors Actions
LaViRA: Language-Vision-Robot Actions Translation for Zero-Shot Vision Language Navigation in Continuous Environments AI summary
Hongyu Ding, Ziming Xu, YUK TUNG SAMUEL FANG, You Wu, Zixuan Chen, Jieqi Shi, Jing Huo, Yifan Zhang, Yang Gao
 View PDF
Physics-Constrained Imitation Learning for Autonomous Racing AI summary
Haohan Yang, Haochen Liu, Zhou Yanxin, Shuge Wu, Chen Lv
 View PDF
How to Relieve Distribution Shifts in Semantic Segmentation for Off-Road Environments AI summary
Ji-Hoon Hwang, Daeyoung Kim, Hyung-Suk Yoon, Dong-Wook Kim, Seung-Woo Seo
 View PDF
A Mixed Integer Programming Formulation for Risk Stratification AI summary
Rachda Naila Mekhaldi, Julia Fleck, Raksmey PHAN, Xiaolan Xie
 View PDF
CLAR: Learning 3D Representations for Robotic Manipulation by Fusing Masked Reconstruction with Multi-Level Contrastive Alignment AI summary
Wenbo Cui, Chengyang Zhao, Yuhui Chen, Haoran Li, Zhizheng Zhang, Dongbin Zhao, He Wang
 View PDF
Task Planning for Robotic Disinfection Using Generative-Adversary-Trimodel (GAT) AI summary
Jiajie Ye, Yongji Sheng, Tianyu Liu, Ning Xi
 View PDF
Online Approach to Near Time-Optimal Task-Space Trajectory Planning AI summary
trajectory planning
 View PDF
Onion-LO: Why Does LiDAR Odometry Fail across Different LiDAR Types and Scenarios? AI summary
Xiaolong Cheng, Keke Geng, Zhichao Liu, Tianxiao Ma, Ye Sun
 View PDF
CRED: Counterfactual Reasoning and Environment Design for Active Preference Learning AI summary
Yi-Shiuan Tung, Gyanig Kumar, Wei Jiang, Bradley Hayes, Alessandro Roncone
 View PDF
T-FunS3D: Task-Driven Hierarchical Open-Vocabulary 3D Functionality Segmentation AI summary
Jingkun Feng, Reza Sabzevari
 View PDF
M3TR: A Generalist Model for Real-World HD Map Completion AI summary
Fabian Immel, Richard Schwarzkopf, Frank Bieder, Jan-Hendrik Pauls, Christoph Stiller
 View PDF
SSF-PAN: Semantic Scene Flow-Based Perception for Autonomous Navigation in Traffic Scenarios AI summary
Yinqi Chen, Meiying Zhang, Qi Hao, Guang Zhou
 View PDF
Learning Constraint-Aware Dynamical Systems from Human Demonstrations for Constrained Manipulation Tasks AI summary
Soyoun Sung, Keehoon Kim
 View PDF
Towards Efficient Semi-Supervised Semantic Segmentation for Solid-State LiDAR Point Clouds AI summary
Mardanjan Abla, Eksan Firkat, Bangquan Xie, Eliyas Suleyman, Jiazhan Gao, Bin Zhu, Askar Hamdulla
 View PDF
Multi-Modal Loop Closure Detection with Foundation Models in Severely Unstructured Environments AI summary
Laura Alejandra Encinar Gonzalez, John Folkesson, Rudolph Triebel, Riccardo Giubilato
 View PDF
SRCF-UAV: Sparse Radar-Camera Fusion for 3D UAV Detection AI summary
Yiming Zhao, Zijun Gong, Yang Yang, Ying CUI
 View PDF
Complete Multi-Domain Decoupled Fusion Model for EEG-Based Person Identification AI summary
Zhixun Wang, Jiayu Lu, Tianyang Liu, Ziteng Zhu, Xiaofeng Liu, Bin Wang
 View PDF
Sym-Servo: Disambiguate Symmetric Object Pose by End-To-End Optimal Visual Servo AI summary
Shuxin li, Anzhe Chen, Haojian Lu, Rong Xiong, Yue Wang
 View PDF
Multi-State Consistency Visual Language Model Combine Wavelet Transform for Weakly Supervised Robot Visual Segmentation AI summary
Feng Xiao, Peihua Han, Guoyuan Li, Houxiang Zhang
 View PDF
Robotic Cell Manipulation at the Solid-Liquid Interface for Cryopreservation AI summary
Aojun Jiang, Han Yang, Haocong Song, Wenyuan Chen, Yu Sun, Zhuoran Zhang
 View PDF
Grasp-MPC: Closed-Loop Visual Grasping Via Value-Guided Model Predictive Control AI summary
Jun Yamada, Adithyavairavan Murali, Ajay Uday Mandlekar, Clemens Eppner, Ingmar Posner, Balakumar Sundaralingam
 View PDF
Aqua-Splat: Physically-Informed Sonar-Camera Gaussian Splatting for Underwater 3D Reconstruction AI summary
Zijie Ling, Yunxuan Feng, Ao Meng, Renxiang Xiao, Shu Pan, Wenjie Lu, Liang Hu
 View PDF
GSRender: Deduplicated Occupancy Estimation Via Weakly Supervised 3D Gaussian Splatting AI summary
Qianpu Sun, Sifan Zhou, shu changyong, Sirui Han, Chun Yuan
 View PDF
Efficient Trajectory-Conditioned Text-to-4D Gaussian Splatting AI summary
Lin Shao, Fan Lu, Haiyun Wei, Sanqing Qu, Alois Knoll, Guang Chen
 View PDF
Ensemble-Based Event Camera Place Recognition under Varying Illumination AI summary
Therese Joseph, Tobias Fischer, Michael J Milford
 View PDF
Structure-Preserving Model Order Reduction of Slender Soft Robots Via Autoencoder-Parameterized Strain AI summary
Abdulaziz Y. Alkayas, Anup Teejo Mathew, Daniel Feliu, Yahya Zweiri, Thomas George Thuruthel, Federico Renda
 View PDF
DCL-Sparse: Distributed Relative Localization in Sparse Graphs AI summary
Atharva Sagale, Tohid Kargar Tasooji, Ramviyas Parasuraman
 View PDF
Fully Polar Coordinate Object Detection: A Constraint-Based Polar Bounding Box Approach for LiDAR and Scanning Radar AI summary
ShuHeng Lin, Chieh-Chih Wang, Wen-Chieh Lin
 View PDF
MAPF-HD: Multi-Agent Path Finding in High-Density Environments AI summary
Hiroya Makino, Seigo Ito
 View PDF
Lightweight Guidance Sampling and Deep Refinement Reconstruction Network for Adaptive Compressive Sensing AI summary
Zhaoxin Cai, Yunzhou Zhang, Haoyue Bai, Lu Wang, Tengda Zhang, Sizhan Wang, Shibo Zhang
 View PDF
MetaDAT: Generalizable Trajectory Prediction Via Meta Pre-Training and Data-Adaptive Test-Time Updating AI summary
Yuning Wang, Pu Zhang, Yuan He, Ke Wang, Jianru Xue
 View PDF
Terra: Hierarchical Terrain-Aware 3D Scene Graph for Task-Agnostic Outdoor Mapping AI summary
Chad Samuelson, Abigail Austin, Seth Knoop, Blake Romrell, Gabriel Slade, T.W. McLain, Joshua Mangelson
 View PDF
NaviGait: Navigating Dynamically Feasible Gait Libraries Using Deep Reinforcement Learning AI summary
Neil Janwani, Varun Madabushi, Maegan Tucker
 View PDF
LLM-Guided Semantic Stereo Adaptive Visual Servoing for Precise Peg-In-Hole AI summary
Xiyue Dong, Guangli Sun, Jinfei Hu, Tianyu Huang, Wei Chen, Yunhui Liu
 View PDF
VISTA: Monocular Segmentation-Based Mapping for Appearance and View-Invariant Global Localization AI summary
Hannah Shafferman, Annika Thomas, Jouko Kinnari, Michael Ricard, Jose Nino, Jonathan How
 View PDF
Physics-Informed Machine Learning for Efficient Sim-To-Real Data Augmentation in Micro-Object Pose Estimation AI summary
Tan Zongcai, Lan Wei, Dandan Zhang
 View PDF
PAGTM: Position and Attention-Guided Token Merging for Efficient Visual Place Recognition AI summary
Hongchan Cho, Youngjo Lee, Jinwoo Jang, Seunghan Yu, Euntai Kim
 View PDF
CDC-SLAM: Switchable Centralized and Distributed Collaborative LiDAR SLAM Framework for Robotic Swarms AI summary
Xiangnan Liu, Xiang Huo, Haifei Zhu, Xuefeng Zhou, Yisheng Guan, Hong Zhang, Weinan Chen∗
 View PDF
Reliable LiDAR Loop Detection through Structural Descriptors and Semantic Graph Matching AI summary
Yujie Tang, Sibo Zuo, Meiling Wang, Jianyu Dou, Jiahui Wang, Yufeng Yue
 View PDF
Reference-Free, Long-Horizon Trajectory Optimization for Aggressive Autonomous Driving in Milliseconds AI summary
Prayag Sharma, Jon Goh, Franck Djeumou
 View PDF
LR-SGS: Robust LiDAR-Reflectance-Guided Salient Gaussian Splatting for Self-Driving Scene Reconstruction AI summary
Ziyu Chen, Fan Zhu, Hui Zhu, Deyi Kong, Xinkai Kuang, Yujia Zhang, Chunmao Jiang
 View PDF
LeGO-MM: Learning Navigation for Goal-Oriented Mobile Manipulation Via Hierarchical Policy Distillation AI summary
Bolei Chen, Liangbai Liu, Shengsheng Yan, Haonan Yang, Ping Zhong, Jianxin Wang
 View PDF
Zero-Shot Exocentric Viewpoint-Robust Imitation Learning (VIL): Bridging Handheld Gripper and Exocentric Views AI summary
Boyan Li, Peilin Meng, Chang Liu, Yulin Chen, Qi Zhou, Youyi Bi
 View PDF
DiffDef: A Diffusion Model for Generating Multimodal Goal Shapes from Demonstrations for Deformable Object Manipulation AI summary
Bao Thach, Tanner Watts, Siyeon Kim, Britton Jordan, Mohanraj Devendran Shanthi, Shing-Hei Ho, James Ferguson, Tucker Hermans, Alan Kuntz
 View PDF
InstantPose: Zero-Shot Instance-Level 6D Pose Estimation from a Single View AI summary
Francesco Di Felice, Alberto Remus, Stefano Gasperini, Benjamin Busam, Lionel Ott, Stefan Thalhammer, Federico Tombari, Carlo Alberto Avizzano
 View PDF
Automated Coral Spawn Monitoring for Reef Restoration: The Coral Spawn and Larvae Imaging Camera System (CSLICS) AI summary
Dorian Tsai, Christopher A. Brunner, Riki Lamont, F. Mikaela Nordborg, Andrea Severati, Java Terry, Karen E Jackel, Matthew Dunbabin, Tobias Fischer, Scarlett Raine
 View PDF
MM-TRELLIS: Point-Cloud Guided Multi-Modal 3D Vehicle Generation in Autonomous Driving AI summary
Xiaoguang Ren, Wenjing Yang, Long Lan
 View PDF
K-ARC: Adaptive Robot Coordination for Multi-Robot Kinodynamic Planning AI summary
Mike Qin, Juan Irving Solis Vidana, James Motes, Marco Morales, Nancy Amato
 View PDF
ManeuverNet: A Soft Actor-Critic Framework for Precise Maneuvering of Double-Ackermann-Steering Robots with Optimized Reward Functions AI summary
Kohio Deflesselle, Mélodie DANIEL, Aly Magassouba, Miguel Aranda, Olivier Ly
 View PDF
IMH-MOT: Interactive Multi-Hierarchical Image and Point Cloud Fusion for Multi-Object Tracking AI summary
Wenyuan Qin, Zhiyan Zhou, Jiong Luo, Chengwei Pan, Hao XU, Xiwang Dong, Danwei Wang
 View PDF