Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 4 of 58
Title & Authors Actions
Aquaculture Robotics: Adaptive Path Planning through Real-Time Estimation of the Shape of Flexible Net Pens AI summary
Herman Biørn Amundsen, Eirini Katsidoniotaki, Martin Føre, Eleni Kelasidi
 PDF
LLM-Aided Assistive Robot for Single-Operator Bimanual Teleoperation AI summary
Haolin Fei, Songlin Ma, Guanglong Du, Elmira Yadollahi, Hak-Keung Lam, Angela Faragasso, Allahyar Montazeri, Ziwei Wang
 PDF
FlowSight: Vision-Based Artificial Lateral Line Sensor for Water Flow Perception AI summary
Tiandong Zhang, Rui Wang, Qiyuan Cao, Shaowei Cui, Gang Zheng, Shuo Wang
 PDF
Neural Predictor for Flight Control with Payload AI summary
Ao Jin, Chenhao Li, Qinyi Wang, Ya Liu, Panfeng Huang, Fan Zhang
 PDF
WideDepth: Millimeter-Accurate Benchmark for Fisheye Depth Estimation AI summary
Ilia Indyk, Ignat Penshin, Ivan Sosin, Maxim Monastyrny, Aleksei Valenkov, Ilya Makarov
 PDF
GeoLanG: Geometry-Aware Language-Guided Grasping with Unified RGB-D Multimodal Learning AI summary
Rui Tang, Guankun Wang, Long Bai, Huxin Gao, Jiewen Lai, Chi Kit Ng, Jiazheng Wang, Fan Zhang, Hongliang Ren
 PDF
Suppressing Initial Force Overshoot Using Admittance Filter and ASMC under Contact Location Uncertainty AI summary
Sejik Oh, Yi Gyeom Kim, Hyojin Jo, Dogyun Park, Nam Kyu Kwon
 PDF
Dilated Superpixel Aggregation for Visual Place Recognition AI summary
Zichao Zeng, June Moh Goo, Jan Boehm
 PDF
Morphogenetic Assembly and Adaptive Control for Heterogeneous Modular Robots AI summary
Chongxi Meng, Da Zhao, Yifei Zhao, Minghao Zeng, Yanmin Zhou, Zhipeng Wang, Bin He
 PDF
Generative Predictive Control: Flow Matching Policies for Dynamic, Difficult-To-Demonstrate Tasks AI summary
Vincent Kurtz, Joel Burdick
 PDF
Robot Deformable Object Manipulation Via NMPC-Generated Demonstrations in Deep Reinforcement Learning AI summary
Haoyuan Wang, Zihao Dong, Tong Zhu, HongLiang Lei, Weizhuang Shi, Zejia Zhang, Wei Luo, Weiwei Wan, Xinxing Chen, Jian Huang
 PDF
ARTEMIS: Active Real-Time Textured Environment Meshing with Interactive Semantics AI summary
Yigu Ge, Zhenhuan Ma, Shihao Tang, Yangxi Shi, Xinkai Liang, Hao Fang
 PDF
DexFruit: Dexterous Manipulation and Gaussian Splatting Inspection of Fruit AI summary
Aiden Swann, Alex Qiu, Matthew Strong, Angelina Zhang, Samuel Morstein, Kai Rayle, Monroe Kennedy
 PDF
Hybrid Rigid-Soft Robotic Gripper with Shape Adaptation, Uniform Force Distribution, and Self-Locking Capabilities AI summary
Xi Chen,,, Yun Wang,,, Lichao Yang,, Haitao Li, Ya Xiong,∗
 PDF
Continual-RL for Generalization in Autonomous Racing on the RoboRacer Platform AI summary
Joel Siegert, Edoardo Ghignone, Michele Magno
 PDF
DOSE3: Diffusion-Based Unified Out-Of-Distribution Detection on SE(3) Trajectories AI summary
Hongzhe Cheng, Tianyou Zheng, Ziyong Ma, Tianyi Zhang, Matthew Johnson-Roberson, Weiming Zhi
 PDF
QP Chaser: Polynomial Trajectory Generation for Autonomous Aerial Tracking AI summary
Yunwoo Lee, Jungwon Park, Seungwoo Jung, Boseong Jeon, Dahyun Oh, H. Jin Kim
 PDF
Goal-VLA: Image-Generative VLMs as Object-Centric World Models Empowering Zero-shot Robot Manipulation AI summary
Haonan Chen, Jingxiang Guo, Bangjun Wang, Tianrui Zhang, Xuchuan Huang, Yiwen Hou, Boren Zheng, Chenrui Tie, Jiajun Deng, Lin Shao
 PDF
Robust Sensitivity-Aware Chance-Constrained MPC for Efficient Handling of Multiple Uncertainty Sources AI summary
James Zhu, Thierry Simeon, Marco Cognetti
 PDF
M2R2: MultiModal Robotic Representation for Temporal Action Segmentation AI summary
Daniel Sliwowski, Dongheui Lee
 PDF
MAD-BA: 3D LiDAR Bundle Adjustment -- from Uncertainty Modelling to Structure Optimization AI summary
Krzysztof Cwian, Luca Di Giammarino, Simone Ferrari, Thomas Alessandro Ciarfuglia, Giorgio Grisetti, Piotr Skrzypczynski
 PDF
Squeezing the Last Drop of Accuracy: Hand-Eye Calibration Via Deep Reinforcement Learning-Guided Pose Tuning AI summary
Seunghui Shin, Daeho Kim, Hyoseok Hwang
 PDF
Order Matters: On Parameter-Efficient Image-To-Video Probing for Recognizing Nearly Symmetric Actions AI summary
Thinesh Thiyakesan Ponbagavathi, Alina Roitberg
 PDF
BOSS: Benchmark for Observation Space Shift in Long-Horizon Task AI summary
Yue Yang, Linfeng Zhao, Mingyu Ding, Gedas Bertasius, Daniel J. Szafir
 PDF
Customize-Your-Joy Hand: A User-Oriented, Cost-Effective 22-DOF Platform for Future Human-Robot Community AI summary
Jin Chai, Li Yanghong, Erbao Dong
 PDF
A Convex Formulation of Compliant Contact between Filaments and Rigid Bodies AI summary
Wei-Chen Li, Glen Chou
 PDF
Deployment of an Aerial Multiagent System for Automated Task Execution in Large-Scale Underground Mining Environments AI summary
Niklas Dahlquist, Samuel Nordström, Nikolaos Stathoulopoulos, Björn Lindqvist, Akshit Saradagi, George Nikolakopoulos
 PDF
A&B-LO: Continuous-Time LiDAR Odometry with Adaptive Non-Uniform B-Spline Trajectory Representation AI summary
Yuchu Lu, Chenpeng Yao, Jiayuan Du, Chengju Liu, Qijun Chen
 PDF
Flow before Imitation: Learning Dexterous In-Hand Manipulation with Dynamic Visuotactile Shortcut Policy AI summary
Yijin Chen, Wenqiang Xu, Zhenjun Yu, Tutian Tang, Yutong Li, Siqiong Yao, Cewu Lu
 PDF
Semantic-Guided Progressive Object Removal with Gaussian Splatting AI summary
Mingkai Liu , Dikai Fan , Xiao Liu, Hao Zhang
 PDF
Previous Knowledge Utilization in Online Anytime Belief Space Planning AI summary
Michael Novitsky, Moran Barenboim, Vadim Indelman
 PDF
The One RING: A Robotic Indoor Navigation Generalist AI summary
Ainaz Eftekhar, Rose Hendrix, Luca Weihs, Jiafei Duan, Ege Caglar, Jordi Salvador, Alvaro Herrasti, Winson Han, Eli VanderBilt, Aniruddha Kembhavi, Ali Farhadi, Ranjay Krishna, kiana ehsani, Kuo-Hao Zeng
 PDF
Feedback Matters: Augmenting Autonomous Dissection with Visual and Topological Feedback AI summary
Chung-Pang Wang, Changwei Chen, Xiao Liang, Soofiyan Atar, Florian Richter, Michael C. Yip
 PDF
StereoAdapter: Adapting Stereo Depth Estimation to Underwater Scenes AI summary
Zhengri Wu, Yiran Wang, yu wen, Zeyu Zhang, Biao wu, Hao Tang
 PDF
Neural Internal Model Control: Learning a Robust Control Policy Via Predictive Error Feedback AI summary
Feng Gao, Chao Yu, Yu Wang, Yi Wu
 PDF
Offline-Trained GAN-Augmented Highly Adaptive Control with Multi-DoF Fusion for Pneumatic Soft Surgical Robots AI summary
Yuxi Lu, Zhongchao Zhou, Dongliang Zheng, yanmin Zhou, Zhipeng Wang, Shuo Jiang, Wenwei Yu, Bin He
 PDF
VINGS-Mono: Visual-Inertial Gaussian Splatting Monocular SLAM in Large Scenes AI summary
Ke Wu, Zicheng Zhang, Muer Tie, Ziqing Ai, Zhongxue Gan, Wenchao Ding
 PDF
On Motion Blur and Deblurring in Visual Place Recognition AI summary
Timur Ismagilov, Bruno Ferrarini, Michael J Milford, Nguyen Tan Viet Tuyen, Sarvapali Ramchurn, Shoaib Ehsan
 PDF
GeoPF: Infusing Geometry into Potential Fields for Reactive Planning in Non-trivial Environments AI summary
Yuhe Gong, Riddhiman Laha, Luis Figueredo
 PDF
Hierarchical LLM-VLA-Controller Integration for Task Generalization AI summary
INHYUK CHOI, Sangmoon Lee
 PDF
Quantum Machine Learning and Grover�s Algorithm for Quantum Optimization of Robotic Manipulators AI summary
Hassen Nigatu Sirag, Gaokun Shi, Jituo Li, Jin Wang, GuoDong Lu, Howard Li
 PDF
Structure-Exploiting Sequential Quadratic Programming for Model-Predictive Control AI summary
Armand Jordana, Sebastien Kleff, Avadesh Meduri, Justin Carpentier, Nicolas Mansard, Ludovic Righetti
 PDF
Swarm-ReID: Decentralized Self-Adaptive Gallery Construction for Multi-Robot Open-World Person Re-Identification AI summary
Marios Kaplanis, Miquel Kegeleirs, Lorenzo Garattoni, Mauro Birattari, Gianpiero Francesca
 PDF
Navigation of Robotic Swarmalators with Dynamics and Constraints AI summary
Xinyue Xu, Wei Xiao, Steven Ceron
 PDF
DB-TSDF: Directional Bitmask-based Truncated Signed Distance Fields for Efficient Volumetric Mapping AI summary
Jose Enrique Maese, Luis Merino, Fernando Caballero
 PDF
GraspClutter6D: A Large-Scale Real-World Dataset for Robust Perception and Grasping in Cluttered Scenes AI summary
Seunghyeok Back, Joosoon Lee, Kangmin Kim, Heeseon Rho, Geonhyup Lee, Raeyoung Kang, Sangbeom Lee, Sangjun Noh, Youngjin Lee, Taeyeop Lee, Kyoobin Lee
 PDF
Freeze-Frame with StaticNeRF: Uncertainty-Guided NeRF Map Reconstruction in Dynamic Scenes AI summary
Juhui Lee, Geonmo Yang, Seungjun Ma, Younggun Cho
 PDF
ApexNav: An Adaptive Exploration Strategy for Zero-Shot Object Navigation with Target-Centric Semantic Fusion AI summary
Mingjie Zhang, Yuheng Du, Chengkai Wu, Jinni ZHOU, Zhenchao Qi, Jun Ma, Boyu Zhou
 PDF
EZREAL: Enhancing Zero-Shot Outdoor Robot Navigation Toward Distant Targets under Varying Visibility AI summary
Tianle Zeng, Jianwei Peng, Hanjing Ye, Guangcheng Chen, senzi luo, Hong Zhang
 PDF
Beyond Frame-Wise Tracking: A Trajectory-Based Paradigm for Efficient Point Cloud Tracking AI summary
BaiChen Fan, Yuanxi Cui, Jian Li, Qin Wang, Shibo Zhao, Muqing Cao, Sifan Zhou
 PDF