Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 57 of 58
Title & Authors Actions
OTTO: Dynamics and Control of Wheeled Bipedal Jumping Robot AI summary
Paweekorn Buasakorn, Supachai Vongbunyong and Kitti Thamrongaphichartkul
 PDF
An Underactuated Robotic Gripper with Flowability and Variable Stiffness for Food Bin-Picking AI summary
YITONG XUE, Zhongkui Wang
 PDF
Benchmarking Multi-View BEV Object Detection with Mixed Pinhole and Fisheye Cameras AI summary
Xiangzhong Liu, Hao Shen
 PDF
Indirect Adaptive Predictor Preview Control with Unknown Time Varying Input Delay and Parameter AI summary
HyunBin Kwon, HAK YI
 PDF
A Passive Soft Wearable Suit with a Single Elastic Belt and Multiple Pulley System AI summary
Sangman Kim, Hanbo Zou, Sangeun Jin, Junghan Kwon
 PDF
CoPaRo: A Compact, Backdrivable 6-DOF Hybrid Parallel Robot with Serial-Like Form Factor and Large Workspace AI summary
Samuel Verret, Clement Gosselin
 PDF
Real-time Puncture Detection and Recovery for Pneumatic Soft Actuators AI summary
Tejonidhi R Deshpande, Tingyu Cheng, Josiah Hester
 PDF
Closed-Loop Multimodal Sensory Training Enhances the Proprioceptive-Motor Pathway: Low-Load Automaticity and Fine Motor Control AI summary
Qian Cheng, Zhouhaotian Yin, Yuan Liu
 PDF
Robust Admittance Control of an Electric Underwater Manipulator for Precise Motion and Safe Contact Inspection of Hydraulic Structures AI summary
Fei Wang, haixin liu, lin cao, Shitong Hou, Guangming Song, Aiguo Song
 PDF
OCRA: Object-Centric Learning with 3D and Tactile Priors for Human-To-Robot Action Transfer AI summary
Kuanning Wang, Ke Fan, Yuqian Fu, Siyu Lin, Hu Luo, Daniel Seita, Yanwei Fu, Yu-Gang Jiang, Xiangyang Xue
 PDF
COMPAct: Computational Optimization and Automated Modular Design of Planetary Actuators AI summary
Aman Singh, Deepak Kapa, Suryank Joshi, Shishir Kolathaya
 PDF
Anti-Backlash Mechanisms for Cycloidal Drive Robotic Actuators: Design and Evaluation AI summary
Wesley Roozing, Jelmer Volbeda
 PDF
GRACE: A Unified 2D Multi-Robot Path Planning Simulator & Benchmark for Grid, Roadmap, and Continuous Environments AI summary
Chuanlong Zang, Anna Mannucci, Isabelle Barz, Philipp Schillinger, Florian Lier, Wolfgang Hoenig
 PDF
High-Speed Scooping through Dynamic Manipulation: Model and Practice AI summary
Hyeonje Cha, Inho Lee, Jungwon Seo
 PDF
Stability-Aware Banked Turn Maneuver Control and Command Augmentation for 2-DOF Pendulum-Driven Spherical Robots AI summary
Derek Pravecek, Rishi Jangale, Aaron Villanueva, Robert Ambrose
 PDF
Dream2Flow: Bridging Video Generation and Open-World Manipulation with 3D Object Flow AI summary
Karthik Dharmarajan, Wenlong Huang, Jiajun Wu, Li Fei-Fei, Ruohan Zhang
 PDF
Force Allocation Control for Redundant-Torso Biomimetic Quadrupeds via Virtual Force and Fully Actuated System Approach AI summary
Zhiqin Zhuo, Ke Huang, Zhigang Wu, Jianping Jiang
 PDF
Adaptor: Advancing Assistive Teleoperation with Few-Shot Learning and Cross-Operator Generalization AI summary
Yu Liu, Yihang Yin, Tianlv Huang, Fei Yan, Yuan Xu, Weinan Hong, Wei Han, Yue Cao, Xiangyu Chen, Zipei Fan, Xuan Song
 PDF
Active Scene Reconstruction with Topological Reasoning and Semantic-Augmented Reinforcement Learning AI summary
Yiqing Yuan, Zhi Li, Hao Ren, Kairao Zheng, Hui Cheng
 PDF
Real-Time Decoding of Movement Onset and Offset for Brain-Controlled Rehabilitation Exoskeleton AI summary
Kanishka Mitra, Satyam Kumar, Frigyes Samuel Racz, Deland Hu Liu, Ashish Deshpande, José del R. Millán
 PDF
Towards the best robot for the job: Optimising actuation design through multi-task co-design and component selection AI summary
Wesley Roozing, Jonathan Cornee Schaaij, Alessandro Forino
 PDF
A Passivity-Based Framework for Dynamic Arbitration between Trajectory and Force Tracking using Human Demonstration AI summary
Yeoil Yun, Youngwuk Kim, Junchul Gwak, Hyungpil Moon, Hyouk Ryeol Choi, Ja Choon Koo
 PDF
Quartic Oscillator Model with Applications in Locomotion AI summary
André Carvalho, Miguel Botto, Jorge Martins
 PDF
ModalPatch: A Plug-And-Play Module for Robust Multi-Modal 3D Object Detection under Modality Drop AI summary
Shuangzhi Li, Lei Ma, Xingyu Li
 PDF
State-Space Time Surfaces for Event-Based Zero-Shot Robotic Grasping and Scene Reconstruction AI summary
Gu GONG, David Navarro-Alarcon
 PDF
Color-Pair Guided Robust Zero-Shot 6D Pose Estimation and Tracking of Cluttered Objects on Edge Devices AI summary
Xingjian Yang, Ashis Banerjee
 PDF
Online Jacobian Estimation and Tracking Control of a Two-Section Tendon-Driven Continuum Robot AI summary
Ivan Adi Kuncara, Ayoung Hong
 PDF
How to Shake Trees with Aerial Manipulators? a Theoretical and Experimental Study AI summary
Antonio Gonzalez-Morgado, Eugenio Cuniato, Guillermo Heredia, Anibal Ollero, Roland Siegwart, Marco Tognon
 PDF
Can a Robot Walk the Robotic Dog: Triple-Zero Collaborative Navigation for Heterogeneous Multi-Agent Systems AI summary
Yaxuan Wang, Yifan Xiang, Ke Li, Xun Zhang, BoWen Ye, Zhuochen Fan, Fei Wei, Tong Yang
 PDF
3D Printing of Passively Actuated Self-Folding Robots with Integrated Functional Modules AI summary
Gaolin Ge, Qifeng Yang, Haoran Lu, Tingyu Cheng, Martin Nisser, Yiyue Luo
 PDF
Shell-Type Soft Jig for Holding Objects During Disassembly AI summary
Takuya Kiyokawa, Ryunosuke Takebayashi, Kensuke Harada
 PDF
Multi-Modal Affordance Planner with Temporal-Context Action Policy for Long-Horizon Bimanual Robot Manipulation AI summary
Ji-Heon Oh, Danbi Jung, Ismael Espinoza, Yong-Hyeok Choi, YoungOuk Kim, Dongin Shin, JongSul Moon, Wonha Kim, Tae-Seong Kim
 PDF
Miniature Testbed for Validating Multi-Agent Cooperative Autonomous Driving AI summary
Hyunchul Bae, Eunjae Lee, Jehyeop Han, Minhee Kang, Jaehyeon Kim, Junggeun Seo, Minkyun Noh, Heejin Ahn
 PDF
A Comprehensive Analysis of the Effects of Network Quality of Service on Robotic Telesurgery AI summary
Zhaomeng Zhang, Seyed HamidReza Roodabeh, Homa Alemzadeh
 PDF
Image-To-Force Estimation for Soft Tissue Interaction in Robotic-Assisted Surgery Using Structured Light AI summary
Jiayin Wang, mingfeng yao, Yanran Wei, Xiaoyu Guo, Ayong Zheng, Weidong Zhao
 PDF
The Actuator Pre-Filtering Approach to Control-Coherent Koopman LQR for Robot Systems Interacting with Compliant Environment AI summary
Jasmine Terrones, Harry Asada
 PDF
Colonial Architectures for Centimeter-Scale Underwater Robot Swarms AI summary
Pascal Spino, Marc Bäckert, Lianhao Yin, Daniela Rus
 PDF
SIPHON: An Origami Soft Salp Robot AI summary
Brian Van Stratum, Nathan Justus, Ross Hatton, Joseph Davidson, Geoffrey Hollinger
 PDF
Underactuated Multimodal Jumping Robot for Extraterrestrial Exploration AI summary
Neil R. Wagner, Justin K. Yim
 PDF
Adaptive Physical Human�Robot Interaction Via a Passivity-Aware Model Predictive Variable Admittance Control AI summary
Dalia M. Mahfouz, Paolo Di Lillo, Omar M. Shehata, Elsayed Morgan, Filippo Arrichiello
 PDF
Learning View-Invariant Sign Language Representations Via Dual-Stream Contrastive Learning AI summary
Yuting Peng, Yuecong Min, Xilin Chen
 PDF
From Patient-Specific Digital Twin to Real-World Phantom: Autonomous Right Heart Catheterization AI summary
Yaxi Wang, Mengzhe Xu, Wenlong Gaozhang, Helge Arne Wurdemann
 PDF
Multi-Quadruped Cooperative Object Transport: Learning Decentralized Pinch-Lift-Move AI summary
Bikram Pandit, Aayam Shrestha, Alan Fern
 PDF
NavCrafter: Exploring 3D Scenes from a Single Image AI summary
diffusion model.
 PDF
FASIONAD: Adaptive Uncertainty-Gated Fast�Slow Fusion Framework for Safe Autonomous Driving AI summary
Ziang Luo, Sicong Jiang, Kangan Qian, Zilin Huang, Tianze Zhu, Siwen Jiao, Jinyu Miao, Zheng Fu, Yang Zhong, Yunlong Wang, Hao YE, Mengmeng Yang, Kun Jiang, Diange Yang
 PDF
Real-Time SLAM-Guided Closed-Loop Photodynamic Therapy with Pixel-Accurate Light-Dose Control AI summary
Hyesung Lee, Sungwook Yang
 PDF
NaturalVLM: Leveraging Fine-Grained Natural Language for Affordance-Guided Visual Manipulation AI summary
Ran Xu, Yan Shen, Xiaoqi Li, Ruihai Wu, Hao Dong
 PDF
RoboMorph: Evolving Robot Morphology Using Large Language Models AI summary
Kevin Qiu, Władysław Pałucki, Krzysztof Ciebiera, Paweł Fijałkowski, Marek Cygan, Łukasz Kuciński
 PDF
Spiking-Refined 3D Object Detection through YOLO�SNN Fusion AI summary
Budiarianto Suryo Kusumo, Ulrike Thomas
 PDF
SeaViper: An Efficient Thin 2D Surface-Swimming Soft Robot AI summary
Elias Veilleux, Hsin Cheng, Sigurd Wagner, Naveen Verma, James Sturm, Minjie Chen
 PDF