Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 20 of 58
Title & Authors Actions
An Informative Planning Framework for Target Tracking and Active Mapping in Dynamic Environments with ASVs AI summary
Sanjeev Kumar Ramkumar Sudha, Marija Popovic, Erlend M. Coates
 View PDF
Fabric Dynamic Motion Modeling and Collision Avoidance with Oriented Bounding Box AI summary
Letian Li, Fuyuki Tokuda, Akira Seino, Akinari Kobayashi, Norman Tien, Kazuhiro Kosuge
 View PDF
Goal-Oriented Control Strategies for Soft Growing Robots AI summary
Wentao Huang, Pengchun Li, Ziyi Zhang, Zuankai Wang, Dekai Zhou, Longqiu Li
 View PDF
MiniBEE: A New Form Factor for Compact Bimanual Dexterity AI summary
Sharfin Islam, Zewen Chen, Zhanpeng He, Swapneel Bhatt, Andres Permuy, Brock Taylor, James Vickery, Zhengbin Lu, Cheng Zhang, Pedro Piacenza, Matei Ciocarlie
 View PDF
X-Nav: Learning End-To-End Cross-Embodiment Navigation for Mobile Robots AI summary
Haitong Wang, Aaron Hao Tan, Angus Fung, Goldie Nejat
 View PDF
Implicit LiDAR SLAM with Confidence-Guided SDF and Normal-Driven Sampling AI summary
Hong Liu, Feixuan Huang, Wang Gao, Jinle Xu, Shuguo Pan, Keck-Voon Ling
 View PDF
A Real-Time Multi-Model Parametric Representation of Point Clouds AI summary
Yuan Gao, Wei Dong
 View PDF
EmbodiedCoder: Parameterized Embodied Mobile Manipulation Via Modern Coding Model AI summary
Zefu Lin, Rongxu Cui, Chen Hanning, Xiangyu Wang, Junjia Xu, Xiaojuan Jin, Chen Wenbo, Hui Zhou, Lue Fan, Wenling Li, Zhaoxiang Zhang
 View PDF
Mimir: Hierarchical Goal-Driven Diffusion with Uncertainty Propagation for End-To-End Autonomous Driving AI summary
Zebin Xing, Yupeng Zheng, Qichao Zhang, Zhixing Ding, Pengxuan Yang, Songen Gu, zhongpu xia, Dongbin Zhao
 View PDF
OverlapMamba: A Shift State Space Model for LiDAR-Based Place Recognition AI summary
Jiehao Luo, Jintao Cheng, Qiuchi Xiang, Jin Wu, Rui Fan, Xieyuanli Chen, Xiaoyu Tang
 View PDF
Multi-Keypoint Affordance Representation for Functional Dexterous Grasping AI summary
Kailun Yang, Zhiyong Li, and Yaonan Wang
 View PDF
Robust Localization for Autonomous Vehicles in Highway Scenes AI summary
Daqian Cheng, Xuchu Ding, Yujia Wu, Xiang Zhang, Lei Wang
 View PDF
CLOVER: Context-Aware Long-Term Object Viewpoint and Environment Invariant Representation Learning AI summary
Amanda Adkins, Dongmyeong Lee, Joydeep Biswas
 View PDF
A Policy Model Based Efficient and Accurate Scene Recognition Method for Service Robot AI summary
Shaopeng Liu, Guanzhong Zhou, Chao Huang
 View PDF
Uncertainty-Aware Vision-Based Risk Object Identification Via Conformal Risk Tube Prediction AI summary
KAI-YU FU, Yi-Ting Chen
 View PDF
Mixed-Type Query Selection for Robotic Scientific Data Collection AI summary
Ian C. Rankin, Thane Somers, Alivia M. Eng, Geoffrey A. Hollinger
 View PDF
You Can't Always Get What You Want: Games of Ordered Preference AI summary
Dong Ho Lee, Lasse Peters, David Fridovich-Keil
 View PDF
TI-3DGS: 3D Thermal Reconstruction Via Thermal Imaging-Guided 3D Gaussian Splatting AI summary
Yong Tang, Yunhao Li, Xiaodong Wang, Qiang Song, Bing Qin, Xiaocheng Feng, XIN YUAN
 View PDF
PolyFly: Polytopic Optimal Planning for Collision-Free Cable-Suspended Aerial Payload Transportation AI summary
Mrunal Sarvaiya, Guanrui Li, Giuseppe Loianno
 View PDF
Struct-Loc: Confidence-Aware Structural Localization Via Hierarchical Point Cloud Registration AI summary
Csaba Máté Józsa, Attila Bóta, Krisztián Zsolt Varga, Ferenc Kovács
 View PDF
PSKDNet: Position-Supervised Keypoints Diffusion Network for Online Vectorized HD Map Construction AI summary
Mingkun Jiang, Jun Dong, JunMing He, guangyu Hou, Fan Ma, Shuang Wu, Yujing Zhang
 View PDF
CoVAR: Co-Generation of Video and Action for Robotic Manipulation Via Multi-Modal Diffusion AI summary
Liudi Yang, Yang Bai, George Eskandar, Fengyi Shen, Mohammad Altillawi, Dong Chen, Ziyuan Liu, Abhinav Valada
 View PDF
BodyGuards: Escorting by Multiple Robots in Unknown Environment under Limited Communication AI summary
Zhuoli Tian, Yanze Bao, Meng Guo
 View PDF
A Closed-Chain Approach to Generating Affordance Joint Trajectories for Robotic Manipulators AI summary
Janak Panthi, Farshid Alambeigi, Mitchell Pryor
 View PDF
A New Approach to Real-Time Odometry Calibration Using an Adaptive Particle Filter Design AI summary
Bibiana Fariña, Jonay Toledo, Leopoldo Acosta Sánchez
 View PDF
TUN3D: Towards Real-World Scene Understanding from Unposed Images AI summary
Anton Konushin, Nikita Drozdov, Bulat Gabdullin, Alexey Zakharov, Anna Vorontsova, Danila Rukhovich, Maksim Kolodiazhnyi
 View PDF
Distortion-Aware PETR for BEV Object Detection with Mixed Pinhole�Fisheye Cameras AI summary
Xiangzhong Liu
 View PDF
Fully Distributed Real-Time MPC for Cooperative Mobile Manipulation Via Box-iLQR and ADMM with an Object-Centric Planar Projection AI summary
Jeong tae Lee, Jin Ho Park, Seunghoon Yang, Keun Ha Choi, Kyung-Soo Kim
 View PDF
Synthetic vs. Real Training Data for Visual Navigation AI summary
Lauri Aleksanteri Suomela, Sasanka Kuruppu Arachchige, German F. Torres, Harry Edelman, Joni-Kristian Kamarainen
 View PDF
Sat-RoMa: Cross-Scale Dense Matching for Multi-Temporal UAV-To-Orthophoto Registration AI summary
Maciej Krupka, Jan Węgrzynowski, Piotr Skrzypczynski
 View PDF
Floating-Base Deep Lagrangian Networks AI summary
Lucas Schulze, Juliano Negri, Victor Barasuol, Vivian Suzano Medeiros, Marcelo Becker, Jan Peters, Oleg Arenz
 View PDF
All-Onboard Relative Positioning and Control Framework for Autonomous Micro-UAV Swarms Based on Vision-Optoelectronic-UWB Fusion and Distributed Graph Optimization AI summary
Chengsong Xiong, Jiaqi Wan, Qifan Tong, Wenshuai Lu, Qingning He, Zheng You
 View PDF
DroneKey++: A Size Prior-Free Method and New Benchmark for Drone 3D Pose Estimation from Sequential Images AI summary
Seo-Bin Hwang, Yeong-Jun Cho
 View PDF
Neuromorphic Event Camera-Based Object Recognition and Grasping Position Detection Using a Transfer Learning-Enhanced Multi-Task Model AI summary
Muhammad Hamza Zafar, Syed Kumayl Raza Moosavi, Filippo Sanfilippo
 View PDF
Sonar�GPS Fusion for Seabed Mapping in Turbid Shallow Waters with an Autonomous Surface Vehicle AI summary
Yisheng Zhang, Michael Xu, Alan Williams, Matthew Gray, Nare Karapetyan, Miao Yu
 View PDF
Co-NavGPT: Multi-Robot Cooperative Visual Semantic Navigation Using Vision Language Models AI summary
Bangguo Yu, Qihao Yuan, Kailai Li, Hamidreza Kasaei, Ming Cao
 View PDF
Multi-Modal Locomotion Mode Recognition in the Real World for Robotic Hip Complex Exoskeletons AI summary
Hyesoo Shin, Sangdo Kim, Sunwoo Kim, Jongwon Lee, Jinkyu Kim, KangGeon Kim
 View PDF
Tactile Execution Monitoring of Robotic Manipulation Via Time-Series Based Predictive Encoding AI summary
Florian Voigt, Abdeldjallil Naceri, Sami Haddadin
 View PDF
Differentiable Particle Optimization for Fast Sequential Manipulation AI summary
Lucas Chen, Shrutheesh Raman Iyer, Zachary Kingston
 View PDF
MS-CRL: Multi-Scale Global Path Planning with Progressive Curriculum Reinforcement Learning AI summary
Nan Zhou, Xuqing Hu, Yixin Zhou, Rui Zhu, Fan Zhou, Ye Li, Guangqiang Yin
 View PDF
Robust Online Residual Refinement Via Koopman-Guided Dynamics Modeling AI summary
Zhefei Gong, Shangke Lyu, Pengxiang Ding, Wei Xiao, Donglin Wang
 View PDF
MASTD3R-SLAM: Monocular Adaptive Semantic Tracking and Dynamic Reconstruction SLAM AI summary
Fengwei Yang, Qingran Lin, Chaolun Zhu
 View PDF
Learning Forward Looking Adaptation to Dynamic Payloads for Quadruped Locomotion Via Physics-Informed Neural Networks AI summary
Oscar Youngquist, Hao Zhang
 View PDF
Trajectory Conditioned Cross-Embodiment Skill Transfer AI summary
Yuhang Tang, Yixuan Lou, Pengfei Han, Haoming Song, Xinyi Ye, Dong Wang, Bin Zhao
 View PDF
Multimodal Knowledge Distillation for Egocentric Action Recognition Robust to Missing Modalities AI summary
Dustin Carrión-Ojeda, Maria Santos-Villafranca, Alejandro Perez-Yus, Jesus Bermudez-Cameo, Jose J. Guerrero, Simone Schaub-Meyer
 View PDF
StarIO: A Lightweight Inertial Odometry for Nonlinear Motion AI summary
Shanshan Zhang, Siyue Wang, Qi Zhang, Liqin Wu, Tianshui Wen, Ziheng Zhou, Xuemin Hong, Ao Peng, Lingxiang Zheng, Yu Yang
 View PDF
A Bayesian Modeling Framework for Estimation and Ground Segmentation of Cluttered Staircases AI summary
Prasanna Sriganesh, Burhanuddin Shirose, Matthew Travers
 View PDF
Real-World Robot Control by Deep Active Inference With a Temporally Hierarchical World Model AI summary
Kentaro Fujii, Shingo Murata
 View PDF
A Single-Fiber Optical Frequency Domain Reflectometry (OFDR)-Based Shape Sensing of Concentric Tube Steerable Drilling Robots AI summary
Yash Kulkarni, Mobina Tavangarifard, Daniyal Maroufi, Mohsen Khadem, Justin E. Bird, Jeff Siewerdsen, Farshid Alambeigi
 View PDF
RAG-RUSS: A Retrieval-Augmented Robotic Ultrasound for Autonomous Carotid Examination AI summary
Dianye Huang, Ziping Cong, Nassir Navab, Zhongliang Jiang
 View PDF