Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 5 of 58
Title & Authors Actions
Bridging the Sim-To-Real Gap with multipanda_ros2: A Real-Time ROS2 Framework for Multimanual Systems AI summary
Jon �kerlj, Seongjin Bien, Abdeldjallil Naceri, Sami Haddadin
 View PDF
MTIL: Encoding Full History with Mamba for Temporal Imitation Learning AI summary
View PDF
Real-Time Sit-To-Stand Phase Classification with a Mobile Assistive Robot from Close Proximity Utilizing 3D Visual Skeleton Recognition AI summary
Anas Mahdi, Zonghao Dong, Jonathan Feng-Shun Lin, Yue Hu, Yasuhisa Hirata, Katja Mombaur
 View PDF
One-Step Model Predictive Path Integral for Manipulator Motion Planning Using Configuration Space Distance Fields AI summary
Yulin LI, Tetsuro Miyazaki, Kenji Kawashima
 View PDF
GS-UVCE: Gaussian Splatting-Driven Unsupervised Visual Consistency Enhancement for Underwater 3D Scene Reconstruction AI summary
Xiang Li, Chi Li, Yiming Xu, Yan Zhuang
 View PDF
TOLEBI: Learning Fault-Tolerant Bipedal Locomotion Via Online Status Estimation and Fallibility Rewards AI summary
Hokyun Lee, Woo-Jeong Baek, Junhyeok Cha, Jaeheung Park
 View PDF
Semantically Consistent Language Gaussian Splatting for 3D Point-Level Open-Vocabulary Querying AI summary
Hairong Yin, Huangying Zhan, Yi Xu, Raymond Yeh
 View PDF
RIPNEON: Memory-Lite and Computation-Efficient Occupancy Mapping Via Block Read-Write and Key Grids Expansion AI summary
Qianli Dong, Xuebo Zhang, Shiyong Zhang, Haobo Xi, Ziyu Wang, Zhe Ma, Zhiyong Zhang
 View PDF
A Survey on Soft Robot Adaptability: Implementations, Applications, and Prospects AI summary
Zixi Chen, Di Wu, Qinghua Guan, David Hardman, Federico Renda, Josie Hughes, Thomas George Thuruthel, Cosimo Della Santina, Barbara Mazzolai, Huichan Zhao, Cesare Stefanini
 View PDF
Bridging Perception and Planning: Towards End-To-End Planning for Signal Temporal Logic Tasks AI summary
Bowen Ye, Junyue Huang, Yang Liu, Xiaozhen Qiao, Xiang Yin
 View PDF
OpenIN: Open-Vocabulary Instance-Oriented Navigation in Dynamic Domestic Environments AI summary
Yujie Tang, Meiling Wang, Yinan Deng, Zibo Zheng, Jingchuan Deng, Sibo Zuo, Yufeng Yue
 View PDF
Relaxation Dynamics in Oblate Spherical Rolling Robots AI summary
Micah Oevermann, Robert Ambrose
 View PDF
Continuous-Time Optical Flow Estimation from Asynchronous Event-Frame Streams for Embedded Systems AI summary
Daolong Yang, Hansheng Liang, Liu Haoyuan, Chengcai Wang, Bin Xu, Kun Xu, Xilun DING
 View PDF
Bandwidth-Efficient Multi-Agent Communication through Information Bottleneck and Vector Quantization AI summary
Ahmad Farooq, Kamran Iqbal
 View PDF
Shifted Flow Policy: Uncertainty-Aware Time Reparameterization for Visuomotor Learning AI summary
Dasom Ahn, Chanhyuk Jung, Joonki Baek, Sungkeun Yoo, Byoung Chul Ko
 View PDF
Turning Disturbances into Actuation: Hierarchical Environment-Assisted MPC for USV Fault Recovery AI summary
Yang Hu, Sara Aldhaheri, Yanchao Wang, Peng Wu, Yuanchang Liu
 View PDF
Denoising Particle Filters: Learning State Estimation with Single-Step Objectives AI summary
Lennart Röstel, Berthold Bäuml
 View PDF
PROFusion: Robust and Accurate Dense Reconstruction via Camera Pose Regression and Optimization AI summary
Siyan Dong, Zijun Wang, Lulu Cai, Yi Ma, Yanchao Yang
 View PDF
Distributed First-Order and Second-Order Adaptive Hybrid Optimization for Multi-Robot Learning AI summary
Yilun Zhang, Xianghua Xie, Lu Zhang
 View PDF
Occlusion-Robust Relative Pose Estimation for Multi-Robot Systems Via Geometric-Aware Diffusion Matching AI summary
Suyoung Kang, Rishav Dutta, Peng Gao, Maggie Wigness, John G. Rogers III, Donghyun Kim, Hao Zhang
 View PDF
FAR-Dex: Few-Shot Data Augmentation and Adaptive Residual Policy Refinement for Dexterous Manipulation AI summary
Yushan Bai, Fulin Chen, Hongzheng Sun, Yuchuang Tong, En Li, zhengtao zhang
 View PDF
SE(3)-PoseFlow: Estimating 6D Pose Distributions for Uncertainty-Aware Robotic Manipulation AI summary
Yufeng Jin, Niklas Wilhelm Funk, Vignesh Prasad, Zechu Li, Mathias Franzius, Jan Peters, Georgia Chalvatzaki
 View PDF
Navigating Narrow Spaces: A Comprehensive Framework for Agricultural Robots AI summary
Geesara Kulathunga, Abdurrahman Yilmaz, Zhuoling Huang, Ibrahim Hroob, Leonardo Guevara, Jaspreet Singh, Grzegorz Cielniak, Marc Hanheide
 View PDF
On the Conic Complementarity of Planar Contacts AI summary
Yann de Mont-Marin, Louis Montaut, martial hebert, Jean Ponce, Justin Carpentier
 View PDF
Unlocking the Potential of Soft Actor-Critic for Imitation Learning AI summary
Nayari Marie Lessa, Melya Boukheddimi, Frank Kirchner
 View PDF
ClearDepth: Efficient Stereo Perception of Transparent Objects for Robotic Manipulation AI summary
Kaixin Bai, Huajian Zeng, Lei Zhang, Yiwen Liu, Hongli Xu, Zhaopeng Chen, Jianwei Zhang
 View PDF
A Novel Robotic Prototype Simulating Oral and Pharyngeal Swallowing with Passive Epiglottis Actuation AI summary
Zizhong Zhou, Alberto Gambaruto, Antonia Tzemanaki
 View PDF
Robust Robot Navigation through Failure-Aversion Learning AI summary
Zhifeng Yu, Xuyang Li, Jianwu Fang, Guangliang Li, Jianru Xue
 View PDF
MUSE: Multimodal Uncertainty Quantification of State Estimation AI summary
Minkyung Kim, Henry Che, Bhargav Chandaka, Bhumsitt Pramuanpornsatid, Chengyu Yang, Sheng Cheng, Xiaofeng Wang, NAIRA HOVAKIMYAN, Shenlong Wang
 View PDF
EC3R-SLAM: Efficient and Consistent Monocular Dense SLAM with Feed-Forward 3D Reconstruction AI summary
lingxiang hu, Naima Ait Oufroukh, Fabien Bonardi, Ghandour Raymond
 View PDF
TreeLoc: 6-DoF LiDAR Global Localization in Forests Via Inter-Tree Geometric Matching AI summary
Minwoo Jung, Nived Chebrolu, Lucas Carvalho de Lima, Haedam Oh, Maurice Fallon, Ayoung Kim
 View PDF
Contrastive Auditory Knowledge Transfer for Tool-Mediated Robot Interaction with Granular Objects AI summary
Si Liu, Jindan Huang, Zhengyan Huan, Michael Hughes, Jivko Sinapov
 View PDF
Amortized NeuralSDF-Mesh Collision Detection for Robotic Contact Simulation AI summary
Jinhee Yun, Jeongmin Lee, Sunkyung Park, Dongjun Lee
 View PDF
Controllable Motion Generation Via Diffusion Modal Coupling AI summary
Luobin Wang, Hongzhan Yu, Chenning Yu, Sicun Gao, Henrik Iskov Christensen
 View PDF
A Real-Time 6-DoF Posture Estimation Method for High-Speed 6-Axis Industrial Manipulator Control Using a 2D Laser Profiler AI summary
Tao Chen, Pei-Chun Lin
 View PDF
WildCross: A Cross-Modal Large Scale Benchmark for Place Recognition and Metric Depth Estimation in Natural Environments AI summary
Joshua Knights, Joseph Reid, Kaushik Roy, David Hall, Mark Cox, Peyman Moghadam
 View PDF
Environment-Driven Online LiDAR-Camera Extrinsic Calibration AI summary
Zhiwei Huang, Jiaqi Li, Hongbo Zhao, Ping Zhong, Xiao Ma, Xiao-Hu Zhou, Wei Ye, Rui Fan
 View PDF
Model-Based Engineering Framework for Soft Continuum Robots AI summary
Linus Witucki, Jan Eike Rösler, Mike Barth
 View PDF
The Challenges of Using Robots to Automate the Recycling of Electronic Devices AI summary
Ale� Ude, Mihael Simonič, Boris Kuster, Matija Mavsar, Martin Bem, Sebastian Ruiz, Minija Tamosiunaite, Manuel Giuseppe Catalano, Vinicio Tincani, Antonio Bicchi, Kübra Karacan, Hamid Sadeghian, Sami Haddadin, Riccardo Persichini, Hannes Fröhlich, Florentin Wörgötter
 View PDF
Radio-Based Multi-Robot Odometry and Relative Localization AI summary
Andrés Martínez-Silva, David Alejo, Luis Merino, Fernando Caballero
 View PDF
Electrospun TPU/LCE Composite Fibers for High-Performance Biomimetic Tendon Actuation AI summary
Yongzheng Luo, Shen Gao, Mingjun Tang, Yue Wang, Tao Yue
 View PDF
From Dream to Action: Hierarchical Policy Learning with 3D World Imagination for Robotic Manipulation AI summary
Wenshuo Wang, Ruiteng Zhao, Tat Joo Teo, Marcelo H Ang Jr, Haiyue Zhu
 View PDF
SwarmGPT: Combining Large Language Models with Safe Motion Planning for Drone Swarm Choreography AI summary
Martin Schuck, Dinushka Orrin Dahanaggamaarachchi, Ben Sprenger, Vedant Vyas, Siqi Zhou, Angela P. Schoellig
 View PDF
Simultaneous Deep Model-Based Reinforcement Learning and State Inference under Partial Observability AI summary
William Cong, Josiah Hanna
 View PDF
TinyVPR: Distilling Correct and Confusing Knowledge for Lightweight Visual Place Recognition AI summary
Zhuochen Yang, Runheng Zuo, Xu Yang, Runjiang Dou, Zhe Wang, Liyuan Liu, Shuangming Yu
 View PDF
KALIKO: Kalman-Implicit Koopman Operator Learning for Prediction of Nonlinear Dynamical Systems AI summary
Albert H. Li, Ivan Dario Jimenez Rodriguez Rodriguez, Joel Burdick, Yisong Yue, Aaron Ames
 View PDF
User-Centric Object Navigation: A Benchmark with Integrated User Habits for Personalized Embodied Object Search AI summary
Hongcheng Wang, Jinyu Zhu, Hao Dong
 View PDF
V-MORALS: Visual Morse Graph-Aided Estimation of Regions of Attraction in a Learned Latent Space AI summary
Faiz Aladin, Ashwin Balasubramanian, Lars Lindemann, Daniel Seita
 View PDF
Quadrature Oscillation System for Coordinated Motion in Crawling Origami Robot AI summary
Sean Liu, Ankur Mehta, Wenzhong Yan
 View PDF
Tacser and Action-Conditioned Latent Filter for Generalizable Robotic Surface Perception AI summary
Anirvan Dutta, Yerkebulan Massalim, etienne burdet, Mohsen Kaboli
 View PDF