Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 53 of 58
Title & Authors Actions
Field-Superimposed Control Magnetically Driving Nanorobot Swarms with Hybrid Rotating and Gradient Fields AI summary
Chan Li, Zijin Zeng, Wenyan Niu, jingwen ye, Shunxiao Huang, Zaiyang Chen, Hongyan Sun, Yingjian Guo, Lin Feng
 PDF
Proprioceptive Contact State and Contact Point Estimation for a Leg-Wheel Transformable Robot AI summary
Kuan-Jung Huang, Wei-Shun Yu, Pei-Chun Lin
 PDF
Sensor Query Schedule and Sensor Noise Covariances for Accuracy-Constrained Trajectory Estimation AI summary
Abhishek Goudar, Angela P. Schoellig
 PDF
Graph Neural Model Predictive Control for High-Dimensional Systems AI summary
Patrick Benito Eberhard, Luis Pabon, Daniele Gammelli, Hugo Buurmeijer, Amon Lahr, Mark Leone, Andrea Carron, Marco Pavone
 PDF
Decentralized Reinforcement Learning for Multi-Agent Multi-Resource Allocation Via Dynamic Cluster Agreements AI summary
Antonio Marino, Esteban Restrepo, Claudio Pacchierotti, Paolo Robuffo Giordano
 PDF
Learning Traversability Cost Maps with Decomposed Uncertainties Via Continuous-State MEDIRL AI summary
Gwanhyeong Song, Dongjae Lee, Ayoung Kim
 PDF
GNSS-Inertial State Initialization Using Inter-Epoch Baseline Residuals AI summary
Javier Civera, Samuel Cerezo
 PDF
A Whole-Body Control Framework for Human-Like Walking with Knee Stretch on Flat-Foot Humanoids AI summary
Taehyun Kim,, Sookyoung Yoo,, Myo-Taeg Lim and Yonghwan Oh,∗
 PDF
IntentionVLA: Generalizable and Efficient Embodied Intention Reasoning for Human�Robot Interaction AI summary
Yandu Chen, Kefan Gu, Yuqing Wen, Yucheng Zhao, Tiancai Wang, Liqiang Nie
 PDF
Learning-Based Observer for Coupled Disturbance AI summary
Jindou Jia, Meng Wang, Zihan Yang, Bin Yang, Yuhang Liu, Kexin Guo, Xiang Yu
 PDF
Learning Dexterous Manipulation with Quantized Hand State AI summary
Ying Feng, Hongjie Fang, Yinong He, Jingjing Chen, Chenxi Wang, Zihao He, Ruonan Liu, Cewu Lu
 PDF
PCASim: Promptable Closed-Loop Adversarial Simulation for Urban Traffic Environment AI summary
Chuancheng Zhang, Zhenhao Wang, Kaizheng Li, Yaran Lin, Qiang Guo, Bin Jiang
 PDF
DyRef: Dynamic Reflection Framework Via Graph-Based Complexity for Robotic Planning AI summary
Jiatao Zhang, QingMiao Liang, Tuocheng Hu, Yufan Song, Wei Song, Shiqiang Zhu
 PDF
TerrFlat: Physics-Driven Geometry Representation for Structure-Aware Freespace Detection AI summary
Jingwei Yang, Liuyi Wang, Mengjiao Shen, Jiayuan Du, Chengju Liu, Qijun Chen
 PDF
Spatially-Aware Adaptive Trajectory Optimization with Controller-Guided Feedback for Autonomous Racing AI summary
Alexander Wachter, Alexander Willert, Marc-Philip Ecker, Christian Hartl-Nesic
 PDF
WiXus: A Wheeled-Legged Robot with Wire-Driven Environmental Utilizing to Integrate Mobility and Manipulation AI summary
Shintaro Inoue, Kento Kawaharazuka, Temma Suzuki, Sota Yuzaki, Kei Okada
 PDF
Motion Control and Power Distribution of H-Shaped Multi-Modal Transformable Rotorcraft AI summary
Xuqiao Wang, Da Guo, Changli Zhao, Menghao Duan, Qijun Luo
 PDF
Conflict-Based Search As a Protocol: A Multi-Agent Motion Planning Protocol for Heterogeneous Agents, Solvers, and Independent Tasks AI summary
Rishi Veerapaneni, Ho Kwan Alvin Tang, Yidai Cen, Haodong He, Sophia Zhao, Viraj Shah, Ziteng Ji, Gabriel Olin, Jon Arrizabalaga, Yorai Shaoul, Jiaoyang Li, Maxim Likhachev
 PDF
TriCoSphere: A High‑Dexterity, Large‑Volume, 3‑Finger Coaxial Spherical Manipulator AI summary
Runze Hu, Zhengying Zhu, Jinyu Li, Yatao Leng, Jingshuai Liu, Chenxi Xiao
 PDF
Global Tensor Motion Planning AI summary
An Thai Le, Kay Pompetzki, Joao Andre Mueller Carvalho, Joe Watson, Julen Urain, Armin Biess, Georgia Chalvatzaki, Jan Peters
 PDF
Periodic Steady-State Control of a Handkerchief-Spinning Task Using a Parallel Anti-Parallelogram Tendon-Driven Wrist AI summary
Andrew Ross McIntosh, Kai Sun,, Zhenshan Bing,, Jiahong Dong,,, Fuchun Sun
 PDF
A Closed-Loop CPR Training Glove with Integrated Tactile Sensing and Haptic Feedback AI summary
jaeyoung moon, Mingzhuo Ma, Qifeng Yang, Youjin Choi, Seokhyun Hwang, Samuel Burden, Kyung-Joong Kim, Yiyue Luo
 PDF
VistaBot: View-Robust Robot Manipulation Via Spatiotemporal-Aware View Synthesis AI summary
Songen Gu, Yuhang Zheng, Weize Li, Yupeng Zheng, Yating Feng, Xiang Li, Yilun Chen, Pengfei Li, Wenchao Ding
 PDF
Beyond the Majority: Long-Tail Imitation Learning for Robotic Manipulation AI summary
Junhong Zhu, Ji Zhang, Jingkuan Song, Lianli Gao, Heng Tao Shen
 PDF
Continuous Real-Time Inductive Tracking of Magnetic Microagents for Closed-Loop Control AI summary
Tim Grossrieder, Cameron Forbrigger, Myungjin Park, Michael Christiansen, Simone Schuerle
 PDF
Experimental Validation of a Motor�SMA Hybrid Actuation for Lightweight Wearable Robot AI summary
Jeongae Bak, Kyungjun Choi, Hyunmok Jung, Hyunuk Seo, DAEHYUN KIM
 PDF
VB-Com: Learning Vision-Blind Composite Humanoid Locomotion against Deficient Perception AI summary
humanoid robots of Unitree G and H.
 PDF
A Human Finger-Inspired Rigid-Soft Hybrid Gripper for Damage-Free and Fast Grasping AI summary
Pengyu Zhou, Zeyang Gao, Xiaoxu Zhang, Xiaowen Yin, Hongbin Fang, Jian Xu
 PDF
CCRobot-S: A Robotic Cable-Climbing Squad Collaborating for Fast Inspection and Heavy-Duty Maintenance AI summary
Yongyuan Xu,, Wenchao Zhang, Xiaoli Hu, Jianguo Zhang, and Tin Lun Lam,,∗
 PDF
Design and Optimization of a Tensioner-Driven Compliant Pulley Mechanism for Supermicrosurgical Robot End-Effectors AI summary
Min Chul Kim, Young Min Lee, Yong Seok Ihn
 PDF
Learning-Based Torque Estimation for Harmonic Drive Actuators AI summary
Chun-Hung Huang, Chun Wei Chen, Chao-Chieh Lan
 PDF
Taxonomy-Aware Dynamic Motion Generation on Hyperbolic Manifolds AI summary
Luis Augenstein, Noémie Jaquier, Tamim Asfour, Leonel Rozo
 PDF
Acoustic Drone Package Delivery Detection AI summary
François Marcoux, Francois Grondin
 PDF
Development of a 7-DOF Position-Orientation Decoupled Microsurgical Robot with Motorized Instruments for Microvascular Anastomosis AI summary
Dunfa Long, Chen Shaoan, Shuai Ao, Zhi-Qiang ZHANG, Chengzhi Hu, Chaoyang Shi
 PDF
Switchable Neural Teleoperation AI summary
Jianglong Ye, Changwei Jing, Kezhou Chen, Keyi Wang, Sha Yi, Xueyan Zou, Xiaolong Wang
 PDF
Toward Embodiment Equivariant Vision-Language-Action Policy AI summary
Anzhe Chen, Yifei Yang, Zhenjie Zhu, Kechun Xu, Zhongxiang Zhou, Rong Xiong, Yue Wang
 PDF
Active Perception for Deformable Linear Objects Stiffness Estimation AI summary
Chengxiao Dong, Alessio Caporali, Hongyu Lan, Gianluca Palli
 PDF
CRAFT: Adapting VLA Models to Contact-Rich Manipulation Via Force-Aware Curriculum Fine-Tuning AI summary
Yike Zhang, Yaonan Wang, Xinxin Sun, Kaizhen Huang, Zhiyuan Xu, Ji Junjie, Zhengping Che, Jian Tang, Kangcheng Liu, Jingtao Sun
 PDF
A-SEE2.0: Active-Sensing End-Effector for Robotic Ultrasound Systems with Dense Contact Surface Perception Enabled Probe Orientation Adjustment AI summary
Yernar Zhetpissov, Xihan Ma, Kehan Yang, Haichong Zhang
 PDF
Learning Humanoid Arm Motion Via Centroidal Momentum Regularized Multi-Agent Reinforcement Learning AI summary
Ho Jae Lee, Se Hwan Jeon, Sangbae Kim
 PDF
A 3-Degrees-Of-Freedom Lightweight Flexible Twisted String Actuators (TSAs)-Based Exoskeleton for Wrist Rehabilitation AI summary
Mihai Dragusanu, Nicolas Guinet, Bhivraj Suthar, Tommaso Lisini Baldi, Domenico Prattichizzo, Monica Malvezzi
 PDF
RT-GuIDE: Real-Time Gaussian Splatting for Information-Driven Exploration AI summary
Yuezhan Tao, Dexter Ong, Varun Murali, Igor Spasojevic, Pratik Chaudhari, Vijay Kumar
 PDF
Y-MAP-Net: Learning from Foundation Models for Real-Time, Multi-Task Scene Perception AI summary
Ammar Qammaz, Nikolaos Vasilikopoulos, Iason Oikonomidis, Antonis Argyros
 PDF
REACT: Real-Time Entanglement-Aware Coverage Path Planning for Tethered Underwater Vehicles AI summary
Abdelhakim Amer, Mohit Mehndiratta, Yury Brodskiy, Bilal Wehbe, Erdal Kayacan
 PDF
F-RRT: An Efficient Algorithm for Semi-Constrained Path Planning Problems AI summary
Guillaume de Mathelin de Papigny, Franco Ivan Gassibe, Vincent Padois
 PDF
Fast Motion Planning for Non-Holonomic Mobile Robots Via a Rectangular Corridor Representation of Structured Environments AI summary
Alejandro Gonzalez-Garcia, Sebastiaan Wyns, Sonia De Santis, Jan Swevers, Wilm Decré
 PDF
GPT-PDDL: Towards Executable Robot Task Planning AI summary
Chang Sik Lee, Hye-Kyung Cho, SUJEONG YOU
 PDF
Real-Time Online Learning for Model Predictive Control Using a Spatio-Temporal Gaussian Process Approximation AI summary
Lars Bartels, Amon Lahr, Andrea Carron, Melanie N. Zeilinger
 PDF
Asymptotically Stable Gait Generation and Instantaneous Walkability Determination for Planar Almost Linear Biped with Knees AI summary
Fumihiko Asano, NING LEI, Taiki Sedoguchi
 PDF
Audio-2-Shape: 3D Generation from What You Hear AI summary
Xuran He, Xian-Feng Han, Shi-Jie Sun
 PDF