Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 7 of 58
Title & Authors Actions
Robust Bayesian Scene Reconstruction with Retrieval-Augmented Priors for Precise Grasping and Planning AI summary
Herbert Wright, Weiming Zhi, Martin Matak, Matthew Johnson-Roberson, Tucker Hermans
 PDF
ExFMan: Rendering 3D Dynamic Humans with Hybrid Monocular Blurry Frames and Events AI summary
Kanghao Chen, Zeyu Wang, Lin Wang
 PDF
Veila: Panoramic LiDAR Generation from a Monocular RGB Image AI summary
Youquan Liu, Lingdong Kong, Weidong Yang, Ao Liang, Jianxiong Gao, Yang Wu, Xiang Xu, Xin Li, Linfeng Li, Runnan Chen, Ben Fei
 PDF
A Cyclic Adaptation-Generalization Framework with Uncertainty-Guided Self-Paced Learning for Long-Term Brain-Machine Interfaces AI summary
Jiyu Wei, Di Hong, Zhanjie Zhang, Dazhong Rong, Qinming He, Yueming Wang
 PDF
CBF-Based Hierarchical Quadratic Programs with Guaranteed Feasibility for Safety-Critical Systems AI summary
Junjun Xie, Liang Hu, Yunzhe Tan, Jun Yang
 PDF
Cross-Modal Instructions for Robot Motion Generation AI summary
William Baron, Xiaoxiang Dong, Matthew Johnson-Roberson, Weiming Zhi
 PDF
Using Non-Expert Data to Robustify Imitation Learning Via Offline Reinforcement Learning AI summary
Kevin Huang, Rosario Scalise, Cleah Winston, Ayush Agrawal, Yunchu Zhang, Rohan Baijal, Markus Grotz, Byron Boots, Benjamin Burchfiel, Hongkai Dai, Masha Itkina, Paarth Shah, Abhishek Gupta
 PDF
CMoE: Contrastive Mixture of Experts for Motion Control and Terrain Adaptation of Humanoid Robots AI summary
Shihao Ma, Hongjin Chen, Zijun Xu, Yi Zhao, Ke Wu, Ruichen Yang, Leyao Zou, Zhongxue Gan, Wenchao Ding
 PDF
Tracailer: An Efficient Trajectory Planner for Tractor-Trailer Robots in Unstructured Environments AI summary
Long Xu, Kaixin Chai, Boyuan An, Shuhang Ji, Zhenyu Hou, JiaXiang Gan, Qianhao Wang, Yuan Zhou, Xiaoying Li, Junxiao Lin, Zhichao Han, Chao Xu, Yanjun Cao, Fei Gao
 PDF
DropClick: Semi-Automated One-Click Segmentation for Agricultural Robotic Data AI summary
Patrick Zimmer, Michael Allan Halstead, Christopher Steven McCool
 PDF
OmniRetarget: Interaction-Preserving Data Generation for Humanoid Whole-Body Loco-Manipulation and Scene Interaction AI summary
Lujie Yang, Xiaoyu Huang, Zhen Wu, Angjoo Kanazawa, Pieter Abbeel, Carmelo Sferrazza, Karen Liu, Yan Duan, Guanya Shi
 PDF
NOVA: Navigation Via Object-Centric Visual Autonomy for High-Speed Target Tracking in Unstructured GPS-Denied Environments AI summary
Alessandro Saviolo, Giuseppe Loianno
 PDF
AnyThermal: Towards Learning Universal Representations for Thermal Perception AI summary
Parv Maheshwari, Jay Karhade, Yogesh Chawla, Isaiah Adu, Florian Heisen, Andrew Porco, Andrew Jong, Yifei Liu, Santosh Pitla, Sebastian Scherer, Wenshan Wang
 PDF
A Unilateral Active Knee Exoskeleton to Assist Individuals with Hemiparesis - a Pilot Study AI summary
and Nicola Vitiello
 PDF
Non-Motorized Hand Exoskeleton for Rescue and Beyond: Substantially Elevating Grip Endurance and Strength AI summary
Xianlong Mai, Jian Yang, Lei Li, Bin Zi, Shiwu Zhang, Xinglong Gong, Weihua Li, Guolin Yun, Shuaishuai Sun
 PDF
Rhythm-Based Power Allocation Strategy of Bionic Tail-Flapping for Propulsion Enhancement AI summary
PDF
Irrotational Contact Fields AI summary
Alejandro Castro, Xuchen Han, Joseph Masterjohn
 PDF
Autonomous Decentralized Control for Motion Switching in an Intestine-Inspired Peristaltic Mixing Pump Adaptive to Physical Phase Transitions of Mixed Materials AI summary
Takaaki Tanno, Ryosuke Adachi, Koya Tsurumi, Fumio Ito, Tomoki Hanamura, Takuya Umedachi, Taro Nakamura
 PDF
Learning-Based Safety-Aware Task Scheduling for Efficient Human-Robot Collaboration AI summary
Marco Faroni, Alessio Spanò, Andrea Maria Zanchettin, Paolo Rocco
 PDF
A Wearable Isokinetic Training Robot for Enhanced Bedside Knee Rehabilitation AI summary
Yanggang Feng, Xingyu Hu, Yuebing Li, Ke Ma, Jiaxin Ren, Zhihao Zhou, Fuzhen Yuan, Yan Huang, Liu Wang, Qining Wang, Wuxiang Zhang, Xilun Ding
 PDF
Explicit Analytical Derivation of LSL and RSR Dubins' Paths for Intercepting a Uniformly Moving Target AI summary
Titouan BELIER, lionel Lapierre, christophe viel, Loick Degorre, Damien Massé
 PDF
Safe Model Predictive Diffusion with Shielding AI summary
Taekyung Kim, Keyvan Majd, Hideki Okamoto, Bardh Hoxha, Dimitra Panagou, Georgios Fainekos
 PDF
Riemannian Time Warping: Multiple Sequence Alignment in Curved Spaces AI summary
Julian Richter, Christopher Andrew Erdös, Christian Scheurer, Jochen J. Steil, Niels Dehio
 PDF
The Developments and Challenges towards Dexterous and Embodied Robotic Manipulation: A Survey AI summary
Gaofeng Li, Ruize Wang, Peisen Xu, Qi Ye, Jiming Chen
 PDF
Stable Multi-Drone GNSS Tracking System for Marine Robots AI summary
Shuo Wen, Edwin Meriaux, Mariana Sosa Guzmán, Zhizun Wang, Junming(Clark) Shi, Gregory Dudek
 PDF
OASIS-DC: Generalizable Depth Completion Via Output-Level Alignment of Sparse-Integrated Monocular Pseudo Depth AI summary
Jaehyeon Cho, Jhonghyun An
 PDF
From Manual to Operation: A Home Appliance Agent AI summary
Bo Mao, Troy Huang, Yuming, Jiayang Chai, Huaping Liu, Di Guo
 PDF
FineCycle: Towards a Full-Cycle Management Paradigm for Robotic Deployment and Development AI summary
Haolin Wang, Wang Xi, Zhiyuan Zhu, Chongrong Fang, Jianping He
 PDF
Generative Adversarial Imitation Learning for Robot Swarms: Learning from Human Demonstrations and Trained Policies AI summary
Mattes Kraus, Jonas Kuckling
 PDF
Contact-Driven Localization in a Freeform Robotic Self-Assembled Structure AI summary
Mohammadali Rashidioun, Michael Sosa, Petras Swissler
 PDF
Innovative Design of Multi-Functional Supernumerary Robotic Limbs with Ellipsoid Workspace Optimization AI summary
Jun Huo, Jian Huang, Jie Zuo, Bo Yang, Zhongzheng Fu, Xi Li, Samer Mohammed
 PDF
MCGS-SLAM: A Multi-Camera SLAM Framework Using Gaussian Splatting for High-Fidelity Mapping AI summary
Zhihao Cao, Hanyu Wu, Li Wa TANG, Zizhou Luo, Wei Zhang, Marc Pollefeys, Zihan Zhu, Martin R. Oswald
 PDF
Contact Detection and Manipulation with a Shape-Memory Alloy Based Soft Gripper AI summary
Louis Plottel, Richard Desatnik, Dinesh K. Patel, Philip LeDuc, Carmel Majidi
 PDF
H-Zero: Cross-Humanoid Locomotion Pretraining Enables Few-Shot Novel Embodiment Transfer AI summary
Yunfeng Lin, Minghuan Liu, Yufei Xue, Ming Zhou, Yong Yu, Jiangmiao Pang, Weinan Zhang
 PDF
Augmenting the Reach: Visualizing Robotic Working Volume at the Tool Tip for Intuitive Retinal Access in Eye Surgery AI summary
Junjie Yang, Satoshi Inagaki, Zhihao Zhao, Daniel Zapp, Kai Huang, M. Ali Nasseri
 PDF
SHeRLoc: Synchronized Heterogeneous Radar Place Recognition for Cross-Modal Localization AI summary
Hanjun Kim, Minwoo Jung, Wooseong Yang, Ayoung Kim
 PDF
FORTE: Tactile Force and Slip Sensing on Compliant Fingers for Delicate Manipulation AI summary
Siqi Shang, Mingyo Seo, Yuke Zhu, Lillian Chin
 PDF
Thin-Film Programmable Robotic Damper Enabled by a Stick-Slip-Free Electrostatic Clutch AI summary
Jihyeong Ma, Jongseok Nam, Nak Hyeong Lee, Ki-Uk Kyung
 PDF
Enhancing Vision-Based Policies with Omni-View and Cross-Modality Knowledge Distillation for Mobile Robots AI summary
Kai Li, Shiyu Zhao
 PDF
Sample-Based Hybrid Mode Control: Asymptotically Optimal Switching of Algorithmic and Non-Differentiable Control Modes AI summary
Yilang Liu, Haoxiang You, Ian Abraham
 PDF
Superelastic Tendon-Like Bowden Cables: Advancing Assistive Exoskeletons AI summary
Gregorio Pisaneschi, José M. Catalán, Andrea Blanco, Nicola Sancisi, Nicolas Garcia-Aracil, Andrea Zucchelli
 PDF
FP3: A 3D Foundation Policy for Robotic Manipulation AI summary
Rujia Yang, Geng Chen, Chuan Wen, Yang Gao
 PDF
Hyper-STTN: Hypergraph Augmented Spatial-Temporal Transformer for Trajectory Prediction AI summary
Weizheng Wang, Baijian Yang, Sungeun Hong, Wenhai Sun, Byung-Cheol Min
 PDF
Notes-To-Self: Scratchpad Augmented VLAs for Memory Dependent Manipulation Tasks AI summary
Sanjay Haresh, Daniel Dijkman, Apratim Bhattacharyya, Memisevic Roland
 PDF
Sketch2CAD: Generative Adversarial Network for Automated Conversion of Hand-Drawn Sketches to Parametric CAD Models AI summary
Xiaogang Wang, Liu YunCong, Yu Zhang
 PDF
RynnVLA-001: Using Human Demonstrations to Improve Robot Manipulation AI summary
Yuming Jiang, Siteng Huang, Shengke Xue, Yaxi Zhao, Jun Cen, Sicong Leng, Kehan Li, Jiayan Guo, Kexiang Wang, Mingxiu Chen, Fan Wang, Deli Zhao, Xin Li
 PDF
Feasibility-Guided Planning Over Multi-Specialized Locomotion Policies AI summary
Ying-Sheng Luo, Lu-Ching Wang, Hanjaya Mandala, Yu-Lun Chou, Guilherme Henrique Galelli Christmann, Yu-Chung Chen, Yung-Shun Chan, Chun-Yi Lee, Wei-Chao Chen
 PDF
MorphoBall: A Bio-Inspired Transformable Spherical Robot with Dual Terrestrial Gaits and Surface Swimming Capability AI summary
Jinyuan Liu, Guangzhi Tian, Yuqiang Jin, Ling Shi, Minglei Fu, Wen-An Zhang, Bo Chen
 PDF
Influence of Gripper Design on Human Demonstration Quality for Robot Learning AI summary
Gina Georgadarellis, Natalija Beslic, Seonhun Lee, Frank Sup IV, Meghan Huber
 PDF
Leveraging Vision-Language Models for Open-Vocabulary Instance Segmentation and Tracking AI summary
Bastian Pätzold, Jan Nogga, Sven Behnke
 PDF