Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 11 of 58
Title & Authors Actions
Accelerating Residual Reinforcement Learning with Uncertainty Estimation AI summary
Lakshita Dodeja, Karl Schmeckpeper, Shivam Vats, Thomas Weng, Mingxi Jia, George Konidaris, Stefanie Tellex
 View PDF
Policy Diversification through Representation Distinguishability Regularization for Multi-Actor Deep Reinforcement Learning AI summary
Meng XU, Xinhong Chen, Shuguang Wang, Guanyi Zhao, Jianping Wang
 View PDF
BFMPF-Net: Bidirectional Frequency-Domain Modulation Progressive Fusion Network for Road Crack Segmentation AI summary
Wen Yang, Yingying Zheng, Hang Sun, Chao Liang, Lei Fang
 View PDF
Playbook: Scalable Discrete Skill Discovery from Unstructured Datasets for Long-Horizon Decision-Making Problems AI summary
Minjae Kang, Mineui Hong, Songhwai Oh
 View PDF
Online Dynamic SLAM with Incremental Smoothing and Mapping AI summary
Jesse Morris, Yiduo Wang, Viorela Ila
 View PDF
Weakly-Supervised Learning for Physics-Informed Neural Motion Planning Via Sparse Roadmap AI summary
Ruiqi Ni, Yuchen Liu, Ahmed H. Qureshi
 View PDF
Precise and Efficient Collision Prediction under Uncertainty in Autonomous Driving AI summary
Marc Kaufeld, Johannes Betz
 View PDF
FORM: Fixed-Lag Odometry with Reparative Mapping Utilizing Rotating LiDAR Sensors AI summary
Easton Potokar, Taylor Pool, Daniel McGann, Michael Kaess
 View PDF
Learning Agile Striker Skills for Humanoid Soccer Robots from Noisy Sensory Input AI summary
Zifan Xu, Myoungkyu Seo, Dongmyeong Lee, Hao Fu, Jiaheng Hu, Jiaxun Cui, Yuqian Jiang, Zhihan Wang, Anastasiia Brund, Joydeep Biswas, Peter Stone
 View PDF
ActMVS: Active Scene Reconstruction with Monocular Multi-View Stereo AI summary
Guo Pu, Yixuan Han, Zhouhui Lian
 View PDF
FELP: Fast and Effective Autonomous Flight on Large-Scale and Cluttered Environments Based on Unified Linear Parametric Map AI summary
hongyu nie, Xingyu Li, Xu Liu, Decai Li, Yuqing He
 View PDF
HI-SLAM2: Geometry-Aware Gaussian SLAM for Fast Monocular Scene Reconstruction AI summary
Wei Zhang, Qing Cheng, David Skuddis, Niclas Zeller, Daniel Cremers, Norbert Haala
 View PDF
Contact-Safe Reinforcement Learning with ProMP Reparameterization and Energy Awareness AI summary
Bingkun Huang, Yuhe Gong, Zewen Yang, Tianyu REN, Luis Figueredo
 View PDF
Visual Category-Guided One-Shot Open Affordance Grounding AI summary
Yangfan Wang, Hongyang Yu, Xiying Li
 View PDF
Nighttime Autonomous Driving Scene Reconstruction with Physically-Based Gaussian Splatting AI summary
Tae-Kyeong Kim, Xingxin Chen, Guile Wu, Chengjie Huang, Dongfeng Bai, Bingbing Liu
 View PDF
Beyond Collision Cones: Dynamic Obstacle Avoidance for Nonholonomic Robots Via Dynamic Parabolic Control Barrier Functions AI summary
Hun Kuk Park, Taekyung Kim, Dimitra Panagou
 View PDF
An Automatic LiDAR-Camera Extrinsic Calibration Method for Sparse Point Clouds Using Boundary Features AI summary
Tiancheng Gu, Minqian Wang, Libo Weng, Yanjing Lei, Fei Gao
 View PDF
Multi-Robot Informative Sampling and Coverage in GPS-Denied Environments AI summary
Aiman Munir, Ehsan Latif, Ramviyas Parasuraman
 View PDF
SonarGAN: A Progressive GAN Framework for Sonar Image Denoising under Multi-Type Noises AI summary
Zhangrui Hu, Yunxuan Feng, Binyu Nie, Lei Yan, Wenjie Lu, Liang Hu
 View PDF
Robust 3D Multi-Object Tracking for Autonomous Driving with Adaptive LiDAR-Visual Fusion and Multilevel Data Association AI summary
Chao Jiang, Chao Wang, Liang Nie, mingyue Zhang, Zhou Yuting
 View PDF
Kinodynamic Trajectory Planning for Efficient UAV Exploration and Reconstruction of Unknown Environments AI summary
João Félix Mendes, Meysam Basiri, Rodrigo VENTURA
 View PDF
GaussianCaR: Gaussian Splatting for Efficient Camera-Radar Fusion AI summary
Santiago Montiel-Marín, Miguel Antunes-García, Fabio Sánchez-García, Angel Llamazares, Holger Caesar, Luis M. Bergasa
 View PDF
Fusing Satellite Imagery and Planimetric Maps for Cross-View Localization AI summary
Quang Long Ho Ngo, Zimin Xia, Alexandre Alahi
 View PDF
SLoFT: End-To-End Semantic Localization with Floorplan and Transformer AI summary
Chaerin Min, Hongsheng Yu, Fengtao Fan, Srinath Sridhar, Qiuxuan Wu, Chao Guo
 View PDF
Accelerated Multi-Modal Motion Planning Using Context-Conditioned Diffusion Models AI summary
Edward Sandra, Lander Vanroye, Dries Dirckx, Ruben Cartuyvels, Jan Swevers, Wilm Decré
 View PDF
T-NACD: A Tactile-Friendly Novel Anomaly Class Discovery Framework for Black Rubber Products AI summary
Long Xiao,, Kailin Lyu,, Jianing Zeng, Xuexin Liu,, Zhuojun Zou, Lin Shu, Jie Hao,∗
 View PDF
DiffVL: Diffusion-Based Visual Localization on 2D Maps Via BEV-Conditioned GPS Denoising AI summary
Li Gao, Hongyang Sun, Liu Liu, Yunhao Li, Yang Cai
 View PDF
CMAR-search: Commonsense and Memory Augmented Reasoning for Object Search in Dynamic Interactive Environments AI summary
Kaiyao Liao, Qingfeng Li, Xinlei Zhang, Chen Chen, Qing Sun, Jianwei Niu
 View PDF
BridgeTA: Bridging the Representation Gap in Knowledge Distillation Via Teacher Assistant for Bird�s Eye View Map Segmentation AI summary
Beomjun Kim, Suhan Woo, Sejong Heo, Euntai Kim
 View PDF
ActiveVLN: Towards Active Exploration Via Multi-Turn RL in Vision-And-Language Navigation AI summary
Zekai Zhang, Weiye Zhu, Hewei Pan, Xiangchen Wang, Rongtao Xu, XING Sun, Feng Zheng
 View PDF
One-Shot View Planning and Online Optimization-Based Replanning for Unknown Object Reconstruction AI summary
José Johil Patiño Miñán, Zachary Kingston, Victor Romero-Cano, Yu-Kun Lai, Juan D. Hernández
 View PDF
Learning Adaptive Pseudo-Label Selection for Semi-Supervised 3D Object Detection AI summary
Taehun Kong, Tae-Kyun Kim
 View PDF
Differentiable Motion Manifold Primitives for Reactive Motion Generation under Kinodynamic Constraints AI summary
Yonghyeon Lee
 View PDF
GeoTeacher: Geometry-Guided Semi-Supervised 3D Object Detection AI summary
Jingyu Li, Xiaolong Zhao, Zhe Liu, Wenxiao Wu, Li Zhang
 View PDF
MoRe-ERL: Learning Motion Residuals Using Episodic Reinforcement Learning AI summary
Xi Huang, Hongyi Zhou, Ge Li, Yucheng Tang, Weiran Liao, Björn Hein, Tamim Asfour, Rudolf Lioutikov
 View PDF
Fast Iterative Region Inflation for Computing Large 2-D/3-D Convex Regions of Obstacle-Free Space AI summary
Qianhao Wang, Zhepei Wang, Mingyang Wang, Jialin Ji, Zhichao Han, Tianyue Wu, Rui Jin, Yuman Gao, Chao Xu, Fei Gao
 View PDF
ST-DiffPlanner: A Safety-Enhanced Topology-Aware Diffusion Planner for Global Path Planning AI summary
Jiaquan Yan, Fang Zhao, Huiyu Yuan, Yushi Chen, Long Wang, Dan Luo, Haiyong Luo
 View PDF
EB-MBD: Emerging-Barrier Model-Based Diffusion for Safe Trajectory Optimization in Highly Constrained Environments AI summary
Raghav Mishra, Ian Manchester
 View PDF
Feasible Rolling Trajectory Generation and Control for Tensegrity Robots AI summary
Songyuan Liu, Qingkai Yang, Zichen Tao, Yun Gui, Jiaxu Shi, Hao Fang
 View PDF
PaiP: An Operational Aware Interactive Planner for Unknown Cabinet Environments AI summary
chengjin wang, zheng yan, yanmin Zhou, Runjie Shen, Zhipeng Wang, Bin Cheng, Bin He
 View PDF
PO-GVINS: A Tightly Coupled GNSS-Visual-Inertial Navigation Framework Using Pose-Only Representation AI summary
Zhuo Xu, Feng Zhu, Zihang Zhang, Chang Jian, Jiarui Lv, Yuantai Zhang, Xiaohong Zhang
 View PDF
GUIDE: A Diffusion-Based Autonomous Robot Exploration Framework Using Global Graph Inference AI summary
Zijun Che, Yinghong Zhang, Shengyi Liang, Boyu Zhou, Jun Ma, Jinni ZHOU
 View PDF
DAG-Plan: Generating Directed Acyclic Dependency Graphs for Dual-Arm Cooperative Planning AI summary
Zeyu Gao, Yao Mu, Jinye Qu, Mengkang Hu, Shijia Peng, Chengkai Hou, Lingyue Guo, Ping Luo, Shanghang Zhang, Yanfeng Lu
 View PDF
Tool-Grasp: A 6-DoF Functional Grasping Framework for General-Purpose Hand Tools AI summary
Hongliang Lei, Jian Huang, Andong Li, Haoyuan Wang, Chen Liu, Wei Luo, Jiuyao Xiang
 View PDF
A Centerline-Aligned Frenet Graph Framework for Surface-Based Path Planning in Pipeline Environments AI summary
Hao Liu, gang liu, Chuan Qin, Yu Wang
 View PDF
DRIM: Depth Restoration with Interference Mitigation in Multiple LiDAR Depth Cameras AI summary
Seunghui Shin, Jaeyun Jang, Sundong Park, Hyoseok Hwang
 View PDF
Game-KFS: Game-Theory-Inspired Keyframe Selection for Hybrid Representation Visual SLAM AI summary
Shilang Chen, Bo Yang, Chaoqun Wang, Peidong Fang, Haifei Zhu, Weinan Chen, Yisheng Guan
 View PDF
Real-Time Robotic Needle Insertion in Deformable and Moving Structure Using Learning-By-Example Method AI summary
Thuc Long Ha, Julien Bert, Hadrien Courtecuisse
 View PDF
Decoding Multi-Finger Motions and Grasp Types with Grasp-Specific Models and Lightmyography Based Muscle-Machine Interfaces AI summary
Zhe Wang, Bonnie Guan, Shifei Duan, Kean C. Aw, Minas Liarokapis
 View PDF
IMR-LLM: Industrial Multi-Robot Task Planning and Program Generation using Large Language Models AI summary
Xiangyu Su, Juzhan Xu, Oliver van Kaick, Kai Xu, Ruizhen Hu
 View PDF