Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 51 of 58
Title & Authors Actions
Development of a Testbed and Quantitative Evaluation Framework for Characterization of Robot Actuator Dynamics AI summary
Deokgyu Kim, Samuel Kangwagye, Young Jin Heo, Sehoon Oh, Chan Lee
 PDF
A Novel Reconfigurable Dexterous Hand Based on Triple-Symmetric Bricard Parallel Mechanism AI summary
Chunxu Tian, Zhichao Huang, Hongzeng Li, Bo Wang, Jinghao Jia, Yirui Sun, Dan Zhang
 PDF
CLEVER: Stream-Based Active Learning for Robust Semantic Perception from Human Instructions AI summary
Jongseok Lee, Timo Birr, Rudolph Triebel, Tamim Asfour
 PDF
S3LAM: Surfel Splatting SLAM for Geometrically Accurate Tracking and Mapping AI summary
Ruoyu Fan, Yu-Hui Wen, Tao Zhang, Long Zeng, Yong-Jin Liu
 PDF
X-Diffusion: Training Diffusion Policies on Cross-Embodiment Human Demonstrations AI summary
Maximus Pace, Prithwish Dan, Chuanruo Ning, Atiksh Bhardwaj, Moyun Du, Edward Duan, Wei-Chiu Ma, Kushal Kedia
 PDF
GaussTwin: Unified Simulation and Correction with Gaussian Splatting for Robotic Digital Twins AI summary
Yichen Cai, Paul Jansonnie, Cristiana de Farias, Oleg Arenz, Jan Peters
 PDF
Robotic Classification of Divers� Swimming States Using Visual Pose Keypoints As IMUs AI summary
Demetrious T. Kutzke, Ying-Kun Wu, Elizabeth Terveen, Junaed Sattar
 PDF
Selective Actuation for Microrobots Based on Distributed Magnetic Field Design AI summary
Kaiwen Fang, Zhen Yang, Lianshuo Wang, Yuezhen Liu, Hui Chen, Yu LIU, Jiangfan Yu
 PDF
Model Predictive Control with Reference Learning for Soft Robotic Intracranial Pressure Waveform Modulation AI summary
Fabian Flürenbrock, Yanick Büchel, Johannes Köhler, Marianne Schmid Daners, Melanie N. Zeilinger
 PDF
An Intention-Aware Robust Safety Framework for Robot Teleoperation: Unifying Object Interaction and Obstacle Avoidance AI summary
Zhitao Gao, Fangyu Peng, Chen Chen, Yukui Zhang, Wenke Zhou, ChengAo Jiang, Rong Yan, Xiaowei Tang, Yu Wang
 PDF
A Distributed Gaussian Process Model for Multi-Robot Mapping AI summary
Seth Nabarro, Mark van der Wilk, Andrew J Davison
 PDF
Biarticular Rigid Powered Lower Extremity Exoskeleton Robot AI summary
Tianchi Chen, Zhi Liu, Chaoyang Li, Xiaoan Chen, Jianjun Hu, Jiaxun Wu, Ye He
 PDF
Class-Agnostic Robotic Gaze Control Via Fast Normalized Cut AI summary
Andrej Lucny, Branislav Zigo, Igor Farka�
 PDF
From CAD to POMDP: Probabilistic Planning for Robotic Disassembly of End-Of-Life Products AI summary
Jan Baumgärtner, Malte Hansjosten, David Hald, Adrian Hauptmannl, Alexander Puchta, Jürgen Fleischer
 PDF
HAND Me the Data: Fast Robot Adaptation Via Hand Path Retrieval AI summary
Matthew M Hong, Anthony Liang, Kevin Kim, Harshitha Belagavi Rajaprakash, Jesse Thomason, Erdem Bıyık, Jesse Zhang
 PDF
ILCL: Inverse Logic-Constraint Learning from Temporally Constrained Demonstrations AI summary
Minwoo Cho, Jaehwi Jang, Daehyung Park
 PDF
A coverage motion planning approach for UVMS-based propeller cleaning in obstacle-occluded environments AI summary
Raksi Kopo, Spyridon Tarantos, Fotis Panetsos, Kostas Kyriakopoulos
 PDF
Enhanced Autonomous Navigation on the Perseverance Mars Rover AI summary
Olivier Toupet, Masahiro Ono, Tyler Del Sesto, Mark Maimone, Michael McHenry
 PDF
Personalized Autonomous Driving Via Optimal Control with Clearance Constraints from Questionnaires AI summary
YongJae Lim, Dabin Kim, H. Jin Kim
 PDF
Approximated Collision Detection for Contact-Rich Dexterous Manipulation with Nonnegative Least Squares AI summary
Weibing Li, Jiajun Luo, Lei Yang, Yehui Li, Kai Huang
 PDF
Vision-Language Feature Alignment for Road Anomaly Segmentation AI summary
Zhuolin He, Jiacheng Tang, Jian Pu, Xiangyang Xue
 PDF
Perfectly Undetectable Reflection and Scaling False Data Injection Attacks Via Affine Transformation on Mobile Robot Trajectory Tracking Control AI summary
Jun Ueda, Hyukbin Kwon
 PDF
Scaling Multi-Agent Reinforcement Learning for Underwater Acoustic Tracking Via Autonomous Vehicles AI summary
Matteo Gallici, Ivan Masmitja, Mario Martin
 PDF
HEAPGrasp: Hand-Eye Active Perception to Grasp Objects with Diverse Optical Properties AI summary
Ginga Kennis, Shogo Arai
 PDF
Design of an Adaptive Modular Anthropomorphic Dexterous Hand for Human-Like Manipulation AI summary
Zelong Zhou, Wenrui Chen, Zeyun Hu, Qiang Diao, Qixin Gao, Cuo Yan, Yaonan Wang
 PDF
Robust and Scalable Multi-Robot Localization Using Stereo UWB Arrays AI summary
Hanying Zhao, Lingwei Xu, Yi Li, Feiyang Wen, Haoran Gao, Changwu Liu, Jincheng Yu, Yu Wang, Yuan Shen
 PDF
A Wire-Driven Robotic Hand with Mode-Switchable Planetary Transmission for Dynamic Manipulation AI summary
Jeongseok Choi, Minsu Lee, WooSeong Shin, TaeWon Seo
 PDF
Stable Trajectory Planning for Quadruped Robots using Terrain Features at Feet End AI summary
Congfei Li, Shuyue Lin, Shenwei Qu, Zhuoyuan Liu, Qingjun Yang, Max Q.-H. Meng, Yuxiang Sun
 PDF
Mixed-Reality Digital Twins: Leveraging the Physical and Virtual Worlds for Hybrid Sim2Real Transition of Multi-Agent Reinforcement Learning Policies AI summary
Chinmay Samak, Tanmay Samak, Venkat Krovi
 PDF
UniFucGrasp: Human-Hand-Inspired Unified Functional Grasp Annotation Strategy and Dataset for Diverse Dexterous Hands AI summary
Haoran Lin, Wenrui Chen, Xianchi Chen, Fan Yang, Qiang Diao, Wenxin Xie, Sijie Wu, Kailun Yang, Maojun Li, Yaonan Wang
 PDF
Real-Time Model Predictive Control of Nonlinear Coupled Joints Using MPPI: Application to Humanoid Ankle Joints AI summary
Gunoo Park, Jaewan Bak, Yunsoo Seo, Euncheol Im, Hoseok LEE, Jongbok Lee, Nicolas Mansard, Jongwon Lee, Yisoo Lee
 PDF
Automatic Physically-Based Sim2Real for Tactile Images through Differentiable Path-Tracing Rendering AI summary
Guillaume Duret, Anna Samsonenko, Florence ZARA, Jan Peters, Liming Chen
 PDF
Effects of Wrist-Worn Haptic Feedback on Force Accuracy and Task Speed During a Teleoperated Robotic Surgery Task AI summary
Brian Binh Vuong, Josie Davidson, Sangheui Cheon, Kyu-Jin Cho, Allison M. Okamura
 PDF
TeNet: Text-To-Network for Compact Policy Synthesis AI summary
Ariyan Bighashdel, Kevin Sebastian Luck
 PDF
CooperDrive: Enhancing Driving Decisions through Cooperative Perception AI summary
Deyuan Qu, Qi Chen, Onur Altintas, Takayuki Shimizu
 PDF
Smooth and Robust Trajectory Tracking of Single-Actuator Monocopters Via Incremental Nonlinear Dynamic Inversion AI summary
Emmanuel Tang, Xinyu Cai, SHAWNDY MICHAEL LEE, Shaohui Foong
 PDF
FT-CPG: Learning Central Pattern Generators for Fault-Tolerant Quadruped Locomotion under Multi-Joint Failures AI summary
Pei Zhang, Zhaobo Hua, Qiyu Qiu, Jinliang Ding
 PDF
GMM-LIO: Adaptive and Robust LiDAR-Inertial Odometry with Gaussian Mixture Model Voxel Map AI summary
Zishun Deng, Can Li, Wanbiao Lin, Lei Sun
 PDF
Mapping Pamir: Multi-Session Visual/Inertial SLAM and 3D Reconstruction of an Underwater Shipwreck AI summary
Michalis Chatzispyrou, Luke Horgan, Hyunkil Hwang, Harish Sathishchandra, Chinmay Burgul, Monika Roznere, Alberto Quattrini Li, Philippos Mordohai, Ioannis Rekleitis
 PDF
Graphite: A GPU-Accelerated Mixed-Precision Graph Optimization Framework AI summary
Shishir Gopinath, Karthik Dantu, Steven Ko
 PDF
Uncertainty-Aware BIT*: Collision-Free Path Planning for Maritime Autonomous Surface Ships under Target Ship Position Uncertainty AI summary
Sojin Kim, Jeonghong Park
 PDF
Tactile Object Recognition with Recurrent Neural Networks through a Perceptive Soft Gripper AI summary
Enrico Donato, David Pelliccia, Matin Hosseinzadeh, Mahmood Amiri, Egidio Falotico
 PDF
MotionTrans: Human VR Data Enable Motion-Level Learning for Robotic Manipulation Policies AI summary
Chengbo Yuan, Rui Zhou, Mengzhen Liu, Yingdong Hu, Shengjie Wang, Li Yi, Chuan Wen, Shanghang Zhang, Yang Gao
 PDF
EIT�Pneumatic Hybrid Robotic Skin for Practical and Accurate Force Map Reconstruction AI summary
Junhwi Cho, Sunggyu Bae, Junghyeon Ma, Hyosang Lee, Jung Kim, Kyungseo Park
 PDF
Optimal Excitation Trajectories for System Identification of Underwater Vehicles AI summary
Fotis Panetsos, Kostas Kyriakopoulos
 PDF
SeFA-Policy: Fast and Accurate Visuomotor Policy Learning with Selective Flow Alignment AI summary
Rong Xue, Jiageng Mao, Mingtong Zhang, Yue Wang
 PDF
APEX-Glove: An Actuated, Open-Source, Hand-Exoskeleton Glove for Finger Motion Tracking and Kinesthetic 3D Force Feedback AI summary
Nicolas Kosanovic, Jean Chagas Vaz
 PDF
Visual Proactivity: Enhancing Human-Robot Collaboration through Intent Communication AI summary
Valerio Bo, Edison Bejarano, Anais Garrell, Alberto Sanfeliu
 PDF
Disturbance-Adaptive Differentiable MPC for Underwater Structure Inspection Using Underwater Robot AI summary
Minjong Kim, Bonchul Ku, Dongsub Kim, Young-woon Song, WOOJIN SEOL, You hyun Jang, Son-Cheol Yu
 PDF
Hybrid Membrane�Solenoid Valves for High-Flow, Precisely Controlled Soft Robotic Actuation AI summary
Nikola Velimirovic, C. David Remy, Daniel Bruder
 PDF