Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 14 of 58
Title & Authors Actions
Efficient Training Data Collection for Distance Sensor Arrays through Data Correction and Augmentation Approaches AI summary
Sogo AMAGAI, Shin'ichi Warisawa, Rui Fukui
 View PDF
Receding Horizon Reinforcement Learning with Autoregressive Model for Motion Control of Autonomous Vehicles AI summary
Xin Yin, Haotian CAO, Xinglong Zhang, Qingwen Ma, Xin Xu, Haibin Xie
 View PDF
RoboPCA: Pose-Centered Affordance Learning from Human Demonstrations for Robot Manipulation AI summary
Zhanqi Xiao, Ruiping Wang, Xilin Chen
 View PDF
SAGE: Scene Graph-Aware Guidance and Execution for Long-Horizon Manipulation Tasks AI summary
Jialiang Li, Wenzheng Wu, Gaojing Zhang, Yifan Han, Wenzhao Lian
 View PDF
SaLF: Sparse Local Fields for Multi-Sensor Rendering in Real-Time AI summary
Yun Chen, Matthew Haines, Jingkang Wang, Sahil Jain, Krzysztof Baron-Lis, Siva Manivasagam, Ze Yang, Raquel Urtasun
 View PDF
UCA-SLAM: Tightly Coupled Visual-LiDAR SLAM with DoF-wise Uncertainty-driven Constraint Analysis AI summary
Shizhuo Yu, Wenbin Zhu, Jing Yuan, Yuanxi Gao
 View PDF
RM-RL: Role-Model Reinforcement Learning for Precise Robot Manipulation AI summary
Xiangyu Chen, Chuhao Zhou, Yuxi Liu, Jianfei Yang
 View PDF
Robot Cell Modeling Via Exploratory Robot Motions AI summary
Gaetano Meli, Niels Dehio
 View PDF
Structured Interfaces for Automated Reasoning with 3D Scene Graphs AI summary
Aaron Ray, Jacob Arkin, Harel Biggie, Chuchu Fan, Luca Carlone, Nicholas Roy
 View PDF
GAF: Gaussian Action Field As a 4D Representation for Dynamic World Modeling in Robotic Manipulation AI summary
Ying Chai, litao deng, Ruizhi Shao, Jiajun Zhang, Kangchen Lv, Liangjun Xing, Xiang LI, Hongwen Zhang, Yebin Liu
 View PDF
Latent-RAG: Identity Retrieval-Guided Latent Augmentation for Privacy-Preserving Person Re-Identification AI summary
Seung-hyeok Back, Eungi Lee, Hyung-Il Kim, Seok Bong Yoo
 View PDF
FR-CDNet: Unified Scene Change Detection Model across Viewpoint Variations and Different Temporal Conditions AI summary
Yilin Peng, Yingchun Fu, Xiangru Li, Zhenhao Li, Shuqi Chen, Shunping Ji
 View PDF
SPARR: Simulation-Based Policies with Asymmetric Real-World Residuals for Assembly AI summary
Yijie Guo, Iretiayo Akinola, Lars Johannsmeier, Hugo Hadfield, Abhishek Gupta, Yashraj Narang
 View PDF
SE(3)-LIO: Smooth IMU Propagation with Jointly Distributed Poses on SE(3) Manifold for Accurate and Robust LiDAR-Inertial Odometry AI summary
Gunhee Shin, Seungjae Lee, Jei Kong, Young-Woo Seo, Hyun Myung
 View PDF
Intraoperative Tumor Localization Using Sweeping Palpation in Robot-Assisted Minimally Invasive Surgery (RMIS) AI summary
Jeongbin Hong, Yunjeong Lee, Youngjun Ryu, Hyoryong Lee, Joowon Park, Sukho Park
 View PDF
Perfect Prediction or Plenty of Proposals? What Matters Most in Planning for Autonomous Driving AI summary
Aron Distelzweig, Faris Janjo�, Oliver Scheel, Sirish Reddy Varra, Raghu Rajan, Joschka Boedecker
 View PDF
LSV-Loc: LiDAR to Street View Image Crossmodal Localization AI summary
Sangmin Lee, Donghyun Choi, Jee-Hwan Ryu
 View PDF
ForecastOcc: Vision-Based Semantic Occupancy Forecasting AI summary
Riya Mohan, Hurtado Juana Valeria, Rohit Mohan, Abhinav Valada
 View PDF
Frictional and Prismatic Pin-Array Gripper for Universal Gripping and Stable Tool Manipulation AI summary
Cheonghwa Lee, Hyeongwon Kim, Midum Oh, Kisu Ok, Sung-Hoon Ahn
 View PDF
LiHi-GS: LiDAR-Supervised Gaussian Splatting for Highway Driving Scene Reconstruction AI summary
Pou-Chun Kung, Xianling Zhang, Katherine Skinner, Nikita Jaipuria
 View PDF
What Matters in Learning a Zero-Shot Sim-To-Real RL Policy for Quadrotor Control? a Comprehensive Study AI summary
Jiayu Chen, Chao Yu, Yuqing Xie, Feng Gao, Yinuo Chen, Shu'ang Yu, Wenhao Tang, Shilong Ji, Mo Mu, Yi Wu, Huazhong Yang, Yu Wang
 View PDF
Robust SG-NeRF: Robust Scene Graph Aided Neural Surface Reconstruction AI summary
Yi Gu,∗, Dongjun Ye,∗, Zhaorui Wang,∗, Jiaxu Wang, Jiahang Cao, Mingle Zhao, Renjing Xu
 View PDF
FiLM-Nav: Efficient and Generalizable Navigation Via VLM Fine-Tuning AI summary
Naoki Yokoyama, Sehoon Ha
 View PDF
Task-Aware and Structure-Knowledge-Guided Quantization for End-To-End YOLO Object Detection AI summary
MingHua Zhu, Liangwei Li, Shunan Zhou, Jingfei Jiang, Jinwei Xu
 View PDF
Masked IRL: LLM-Guided Reward Disambiguation from Demonstrations and Language AI summary
Minyoung Hwang, Alexandra Forsey-Smerek, Nathaniel Dennler, Andreea Bobu
 View PDF
SMARTPOSE: Development of a Sample-Efficient, Model-Agnostic, Robust, Two-Stage POSE Estimator for Unknown Satellites AI summary
Yash Kishorbhai Joshi, Suresh Sundaram
 View PDF
V2V-LLM: Vehicle-To-Vehicle Cooperative Autonomous Driving with Multimodal Large Language Models AI summary
Hsu-kuang Chiu, Ryo Hachiuma, Chien-Yi Wang, Stephen F. Smith, Yu-Chiang Frank Wang, Min-Hung Chen
 View PDF
Robust Task Planning Via Failure Detection Using Scene Graph from Multi-View Images AI summary
Haechan Chong, Jongwon Lee, Hyemin Ahn
 View PDF
Exploring History-Aware Online Actor-Critic for Smart Manufacturing Tasks in the RICAIP Testbed AI summary
Tomas Horelican
 View PDF
MimicDroid: In-Context Learning for Humanoid Robot Manipulation from Human Play Videos AI summary
Rutav Shah, Shuijing Liu, Qi Wang, Zhenyu Jiang, Sateesh Kumar, Mingyo Seo, Roberto Martín-Martín, Yuke Zhu
 View PDF
Retargeting Matters: General Motion Retargeting for Humanoid Motion Tracking AI summary
João Araújo, Yanjie Ze, Pei Xu, Jiajun Wu, Karen Liu
 View PDF
FDSPC: Fast and Direct Smooth Motion Planning Via Continuous Curvature Integration AI summary
Zong Chen, Haoluo Shao, Ben Liu, Siyuan Qiao, Yu Zhou, Yiqun Li
 View PDF
Sparse Variable Projection in Robotic Perception: Exploiting Separable Structure for Efficient Nonlinear Optimization AI summary
Alan Papalia, Nikolas Sanderson, Haoyu Han, HENG YANG, Hanumant Singh, Michael Everett
 View PDF
TARAD: Task-Aware Robot Affordance-Centric Diffusion Policy Learned from LLM-Generated Demonstrations AI summary
Site Hu, Takayuki Nagai, Takato Horii
 View PDF
A Photorealistic Dataset and Vision-Based Algorithm for Anomaly Detection During Proximity Operations in Lunar Orbit AI summary
Selina Leveugle, Chang Won Lee, Svetlana Stolpner, Chris Langley, Paul Grouchy, Steven Lake Waslander, Jonathan Kelly
 View PDF
TagaVLM: Topology-Aware Global Action Reasoning for Vision-Language Navigation AI summary
Jiaxing Liu, Zexi Zhang, Xiaoyan Li, Boyue Wang, Yongli Hu, Baocai Yin
 View PDF
Foundational World Models Accurately Detect Bimanual Manipulator Failures AI summary
Isaac Ronald Ward, Michelle Ho, Houjun Liu, Aaron Feldman, Joseph Vincent, Liam Kruse, Sean Cheong, Duncan Eddy, Mykel Kochenderfer, Mac Schwager
 View PDF
LAMP: Implicit Language Map for Robot Navigation AI summary
Sibaek Lee, Hyeonwoo Yu, Giseop Kim, Sunwook Choi
 View PDF
Adaptive Event Stream Slicing for Open-Vocabulary Event-Based Object Detection Via Vision-Language Knowledge Distillation AI summary
Jinchang Zhang, Zijun Li, Jiakai Lin, Guoyu Lu
 View PDF
Estimation of Gait Phase of Human Stair Descent Walking Based on Phase Variable Approach AI summary
MyeongJu Cha, Pilwon Hur
 View PDF
AssemMate: Graph-Based LLM for Robotic Assembly Assistance AI summary
QI ZHENG, Chaoran Zhang, Zijian Liang, Ente Lin, Shubo Cui, Qinghongbing Xie, Zhaobo Xu, Long Zeng
 View PDF
HIPPo: Harnessing Image-To-3D Priors for Model-Free Zero-Shot 6D Pose Estimation AI summary
Yibo Liu, Zhaodong Jiang, Binbin Xu, Guile Wu, Yuan Ren, Tongtong Cao, Bingbing Liu, Rui Heng Yang, Amir Rasouli, Jinjun Shan
 View PDF
Spatially-Anchored Tactile Awareness for Robust Dexterous Manipulation AI summary
Jialei Huang, Yang Ye, Yuanqing Gong, Xuezhou Zhu, Yang Gao, Kaifeng Zhang
 View PDF
Behavior Cloning-Enhanced Deep Reinforcement Learning for Robot Navigation Via Dynamic Reward and Adaptive Replanning AI summary
Jianning Chi, fusheng li, Wenjun Zhang, Yongming Yang
 View PDF
Fine-Grained Classification for Depth Estimation from Monocular Microscopy for Robotic Micromanipulation of Motile Cells AI summary
Yu Sun,∗and Zhuoran Zhang,,∗
 View PDF
GeoGS-SLAM: Online Monocular Reconstruction Using Gaussian Splatting with Geometric Priors AI summary
Ruilan Gao, Letian Jin, Yu Zhang
 View PDF
Real-Is-Sim: Bridging the Sim-To-Real Gap with a Dynamic Digital Twin AI summary
Jad Abou-Chakra, Lingfeng Sun, Krishan Rana, Brandon May, Karl Schmeckpeper, Niko Sünderhauf, Maria Vittoria Minniti, Laura Herlant
 View PDF
Workspace Optimization of a Flexure-Based 3RRR Parallel Robot with Joint Angle Constraints AI summary
Annamalai Karuppiah, Ryan Orszulik
 View PDF
Simulation-Augmented Hysteresis Compensation in Continuum Surgical Robots Via Residual Learning AI summary
Haolin Jiang, Thiusius R. Savarimuthu, Di Wu
 View PDF
Simulation-Ready Tree: High-Quality Dynamic Tree Reconstruction from a Single RGB-D Sensor AI summary
Hao Jin, Mingxin JIAO, Haoran Xie, Shaojun Hu
 View PDF