Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

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
 PDF
MTIL: Encoding Full History with Mamba for Temporal Imitation Learning AI summary
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
 PDF
One-Step Model Predictive Path Integral for Manipulator Motion Planning Using Configuration Space Distance Fields AI summary
Yulin LI, Tetsuro Miyazaki, Kenji Kawashima
 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
 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
 PDF
Semantically Consistent Language Gaussian Splatting for 3D Point-Level Open-Vocabulary Querying AI summary
Hairong Yin, Huangying Zhan, Yi Xu, Raymond Yeh
 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
 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
 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
 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
 PDF
Relaxation Dynamics in Oblate Spherical Rolling Robots AI summary
Micah Oevermann, Robert Ambrose
 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
 PDF
Bandwidth-Efficient Multi-Agent Communication through Information Bottleneck and Vector Quantization AI summary
Ahmad Farooq, Kamran Iqbal
 PDF
Shifted Flow Policy: Uncertainty-Aware Time Reparameterization for Visuomotor Learning AI summary
Dasom Ahn, Chanhyuk Jung, Joonki Baek, Sungkeun Yoo, Byoung Chul Ko
 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
 PDF
Denoising Particle Filters: Learning State Estimation with Single-Step Objectives AI summary
Lennart Röstel, Berthold Bäuml
 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
 PDF
Distributed First-Order and Second-Order Adaptive Hybrid Optimization for Multi-Robot Learning AI summary
Yilun Zhang, Xianghua Xie, Lu Zhang
 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
 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
 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
 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
 PDF
On the Conic Complementarity of Planar Contacts AI summary
Yann de Mont-Marin, Louis Montaut, martial hebert, Jean Ponce, Justin Carpentier
 PDF
Unlocking the Potential of Soft Actor-Critic for Imitation Learning AI summary
Nayari Marie Lessa, Melya Boukheddimi, Frank Kirchner
 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
 PDF
A Novel Robotic Prototype Simulating Oral and Pharyngeal Swallowing with Passive Epiglottis Actuation AI summary
Zizhong Zhou, Alberto Gambaruto, Antonia Tzemanaki
 PDF
Robust Robot Navigation through Failure-Aversion Learning AI summary
Zhifeng Yu, Xuyang Li, Jianwu Fang, Guangliang Li, Jianru Xue
 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
 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
 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
 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
 PDF
Amortized NeuralSDF-Mesh Collision Detection for Robotic Contact Simulation AI summary
Jinhee Yun, Jeongmin Lee, Sunkyung Park, Dongjun Lee
 PDF
Controllable Motion Generation Via Diffusion Modal Coupling AI summary
Luobin Wang, Hongzhan Yu, Chenning Yu, Sicun Gao, Henrik Iskov Christensen
 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
 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
 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
 PDF
Model-Based Engineering Framework for Soft Continuum Robots AI summary
Linus Witucki, Jan Eike Rösler, Mike Barth
 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
 PDF
Radio-Based Multi-Robot Odometry and Relative Localization AI summary
Andrés Martínez-Silva, David Alejo, Luis Merino, Fernando Caballero
 PDF
Electrospun TPU/LCE Composite Fibers for High-Performance Biomimetic Tendon Actuation AI summary
Yongzheng Luo, Shen Gao, Mingjun Tang, Yue Wang, Tao Yue
 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
 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
 PDF
Simultaneous Deep Model-Based Reinforcement Learning and State Inference under Partial Observability AI summary
William Cong, Josiah Hanna
 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
 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
 PDF
User-Centric Object Navigation: A Benchmark with Integrated User Habits for Personalized Embodied Object Search AI summary
Hongcheng Wang, Jinyu Zhu, Hao Dong
 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
 PDF
Quadrature Oscillation System for Coordinated Motion in Crawling Origami Robot AI summary
Sean Liu, Ankur Mehta, Wenzhong Yan
 PDF
Tacser and Action-Conditioned Latent Filter for Generalizable Robotic Surface Perception AI summary
Anirvan Dutta, Yerkebulan Massalim, etienne burdet, Mohsen Kaboli
 PDF