Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 55 of 58
Title & Authors Actions
Look Forward to Walk Backward: Efficient Terrain Memory for Backward Locomotion with Forward Vision AI summary
Shixin Luo, Songbo Li, Yuan Hao, Yaqi Wang, Jun Zheng, Jun Wu, Qiuguo Zhu
 PDF
Motion before Action: Diffusing Object Motion As Manipulation Condition AI summary
Yue Su, Xinyu Zhan, Hongjie Fang, Yong-Lu Li, Cewu Lu, Lixin Yang
 PDF
Minimum-Length Coverage Path Planning for Grid Environments with Approximation Guarantees AI summary
Megnath Ramesh, Frank Imeson, Baris Fidan, Stephen L. Smith
 PDF
Adaptive Non-Linear Centroidal MPC with Stability Guarantees for Robust Locomotion of Legged Robots AI summary
Mohamed Elobaid, Giulio Turrisi, Lorenzo Rapetti, Giulio Romualdi, Stefano Dafarra, Tomohiro Kawakami, Tomohiro Chaki, Takahide Yoshiike, Claudio Semini, Daniele Pucci
 PDF
Fast Exploration Planning with Learning-Based Motion Time Prediction for Aerial Robots AI summary
Ziyu Wang, Qianli Dong, Xuebo Zhang, Shiyong Zhang, Haobo Xi, Zhe Ma, Mingxing Yuan
 PDF
Region-Selective Synthetic Data Injection for Data-Driven Magnetic Capsule Pose Estimation AI summary
Stevanus Darwin, Ayoung Hong
 PDF
Design of Wheel Grouser Geometry with Reduced Sinkage for LEV-1 Lunar Rover AI summary
Masatsugu Otsuki, Kent Yoshikawa, Takao Maeda, Naoto Usami, Tetsuo Yoshimitsu
 PDF
Grasping Point Estimation for EA Suction Cup Grippers on Curved Objects AI summary
Angelo Catalano, Simone De Carolis, Gennaro Vitucci, Giuseppe Carbone, Mariagrazia Dotoli, Vito Cacucciolo
 PDF
Design of a Single-Input, Five-Output Differential Actuation Unit for Underactuated Hands AI summary
Hugo Scuderoni, Alessandro Perini, Matteo Russo
 PDF
One-Shot Cross-Geometry Skill Transfer through Part Decomposition AI summary
Rory Thompson, Ondrej Biza, George Konidaris
 PDF
Whole-Body Integrated Motion Planning for Aerial Manipulators AI summary
Weiliang Deng, Hongming Chen, Biyu Ye, Haoran Chen, Ziliang Li, Ximin Lyu
 PDF
Flip Stunts on Bicycle Robots Using Iterative Motion Imitation AI summary
Jeonghwan Kim, Shamel Fahmi, Seungeun Rho, Sehoon Ha, Gabriel Nelson
 PDF
FUNCanon: Learning Pose-Aware Action Primitives Via Functional Object Canonicalization for Generalizable Robotic Manipulation AI summary
Hongli Xu, Lei Zhang, Xiaoyue Hu, Boyang Zhong, Kaixin Bai, Zoltan-Csaba Marton, Zhenshan Bing, Zhaopeng Chen, Alois Knoll, Jianwei Zhang
 PDF
HMSim: A Hierarchical Multi-Agent Simulator for Autonomous Vehicles AI summary
Haolan Liu, Jishen Zhao, Liangjun Zhang
 PDF
Right-Side-Out: Learning Zero-Shot Sim-To-Real Garment Reversal AI summary
Chang Yu, Siyu Ma, Wenxin Du, Zeshun Zong, Han Xue, Wendi Chen, Cewu Lu, Yin Yang, Xuchen Han, Joseph Masterjohn, Alejandro Castro, Chenfanfu Jiang
 PDF
PACE: Physics Augmentation for Coordinated End-to-end Reinforcement Learning toward Versatile Humanoid Table Tennis AI summary
Muqun Hu, Wenxi Chen, Wenjing Li, Falak Mandali, Zijian He, Renhong Zhang, Praveen Krisna, Katherine Christian, Leo Benaharon, Dizhi Ma, Karthik Ramani, Yan Gu
 PDF
Controllable Steering Torque Generation Via Flapping Motion by a Cross-Coupled Two-Degree-Of-Freedom Drive System AI summary
Masaki Hamamoto, Makoto Yamashita, Mika Tanaka, Kei Senda
 PDF
Learning to Anchor Visual Odometry: KAN-Based Pose Regression for Planetary Landing AI summary
Leizheng Shu
 PDF
CogStereo: Neural Stereo Matching with Implicit Spatial Cognition Embedding AI summary
Lihuang Fang, Xiao HU, Yuchen Zou, Hong Zhang
 PDF
Robotic Relay of Free-Space Optical Beams for Medical Applications AI summary
Guangshen Ma, Patrick Codd, Mark Draelos
 PDF
Near-Field Driven Origami-Based Bio-Inspired Jellyfish Robot AI summary
Sen Wang, Chengxiang Lu, Lepeng Chen, Yi Tang, Mansen Chen, Shuai Zhang, Jun Liu
 PDF
Cascading Velocity Modulation for Multi-Agent Path Finding Execution AI summary
SeungHyun Park, jae hong Shim, Gyuho Eoh
 PDF
DigiArm: An Anthropomorphic 3D-Printed Prosthetic Hand with Enhanced Dexterity for Typing Tasks AI summary
Dean Zadok, Tom Naamani, Yuval Bar-Ratson, Elisha Barash, Oren Salzman, Alon Wolf, Alexander Bronstein, Nili Krausz
 PDF
Diffusion Policy for Robot-Assisted Dressing with Moving Human Arms AI summary
Haoxiang Sun, David Navarro-Alarcon
 PDF
Kungfubot2: Learning Versatile Motion Skills for Humanoid Whole-Body Control AI summary
Jinrui Han, Weiji Xie, Jiakun Zheng, Jiyuan Shi, Weinan Zhang, Ting Xiao, Chenjia Bai
 PDF
SurgCUT3R: Surgical Scene-Aware Continuous Understanding of Temporal 3D Representation AI summary
Kaiyuan Xu, Fangzhou Hong, Daniel Elson, Baoru Huang
 PDF
A Multi-Layer Sim-to-Real Framework for Gaze-Driven Assistive Neck Exoskeletons AI summary
Colin Rubow, Eric Brewer, Ian Bales, Haohan Zhang, Daniel Brown
 PDF
Geometry-Aware Visual Odometry for Bronchoscopic Navigation Via High-Gain Observer Fusion AI summary
Mohammadreza Kasaei, Francis Xiatian Zhang, Feng Li, Farshid Alambeigi, Kev Dhaliwal, Mohsen Khadem
 PDF
Dynamics Modeling of a Multi-UAV Slung Load System Using a Discrete-Link Cable Approach AI summary
Harvey Merton, Ian Hunter
 PDF
Entropy-Based Incremental Coverage Path Planning for Multi-UAV Persistent Monitoring AI summary
Cai Luo, Lijun Wang, Jiucai Jin, Zhenpeng Du, Wang Miao
 PDF
Learning Neural Observer-Predictor Models for Limb-Level Sampling-Based Locomotion Planning AI summary
Abhijeet Mangesh Kulkarni, Ioannis Poulakakis, Guoquan (Paul) Huang
 PDF
Learning Therapist Policy from Therapist-Exoskeleton-Patient Interaction AI summary
Grayson Snyder, Lorenzo Vianello, Levi Hargrove, Matthew Elwin, Jose L. Pons
 PDF
RoboMatch: A Unified Mobile-Manipulation Teleoperation Platform with Auto-Matching Network Architecture for Long-Horizon Tasks AI summary
Hanyu Liu, Yunsheng Ma, Jiaxin Huang, Keqiang Ren, Jiayi Wen, Yilin Zheng, Haoru Luan, Baishu Wan, Pan Li, Jiejun Hou, Zhihua Wang, Zhigong Song
 PDF
DemoBot: Efficient Learning of Bimanual Manipulation with Dexterous Hands from Third-Person Human Videos AI summary
Yucheng Xu, Xiaofeng Mao, Elle Miller, Yang Li, Xinyu Yi, Zhibin (Alex) Li, Robert Fisher
 PDF
A Soft-Rigid Tendon-Driven Continuum Robot with Multi-Curvature Actuated by a Single Set of Tendons AI summary
Liuming Qiu, Luiza Labazanova, David Navarro-Alarcon, Dan Zhang
 PDF
Event-Triggered Indirect Herding Control of a Cooperative Agent AI summary
Patrick Amy, Brandon Fallin, Jhyv Philor, Warren Dixon
 PDF
CloSE: A Geometric Shape-Agnostic Cloth State Representation AI summary
Jay Kamat, Julia Borras Sol, Carme Torras
 PDF
A Novel Paddling Propulsion Gait for a Wheel-Legged Robot on Sand Terrain AI summary
En-Chieh Tsui, Wei-Ting Chen, Wei-Shun Yu, Hung-Hsin Chen, Shaoyu Chien, Pei-Chun Lin
 PDF
SAVMap: Structure-Aided Visual Mapping of Large-Scale 2.5D Manhattan Wireframes from Panoramic Video AI summary
Howard Huang, Bharath Surianarayanan, Keifer Lee, Chenyu Wang, Chen Feng
 PDF
Localized Coverage Planning for a Heat Transfer Tube Inspection Robot AI summary
Jiawei Li, Zhaojin Liu, Yuxiao Li, Yuanyue Li, Yimin Huang, Gang Wang
 PDF
MonoTher-Depth: Enhancing Thermal Depth Estimation Via Confidence-Aware Distillation AI summary
Xingxing Zuo, Nikhil Ranganathan, Connor Lee, Georgia Gkioxari, Soon-Jo Chung
 PDF
CoDex: Learning Compositional Dexterous Functional Manipulation without Demonstrations AI summary
Bowen Jiang [University of Texas at Austin], William Reger [University of Texas at Austin], Roberto Martín-Martín [University of Texas at Austin]
 PDF
Toward Multimodal Liquid-Level Estimation for Closed-Loop Robotic Pouring AI summary
Hongyu Deng, He Chen
 PDF
Efficient Event Camera Volume System AI summary
Juan Soto, Ian Noronha, Saru Bharti, Upinder Kaur
 PDF
Inspection Planning under Execution Uncertainty AI summary
Shmuel David Alpert, Kiril Solovey, Itzik Klein, Oren Salzman
 PDF
Cross-Embodiment Imitation: Learning a Unified Latent Space for Multi-Robot Control AI summary
Yashuai Yan, Dongheui Lee
 PDF
UltraHiT: A Hierarchical Transformer Architecture for Generalizable Internal Carotid Artery Robotic Ultrasonography AI summary
Teng Wang, Haojun Jiang, Yuxuan Wang, Zhenguo Sun, Xiangjie Yan, Xiang LI, Gao Huang
 PDF
Uncertainty-Aware Non-Prehensile Manipulation with Mobile Manipulators under Object-Induced Occlusion AI summary
Jiwoo Hwang, Taegeun Yang, Jeil Jeong, Minsung Yoon, Sung-eui Yoon
 PDF
Beyond Waypoints: Semantic-Centric Autonomy with Unreliable Maps through Learned Abstractions AI summary
Akila Saravanan, Songyuan Zhang, Travis Manderson, Nicholas Roy, Chuchu Fan
 PDF
Lazy Anytime Planning for the Dubins Moving Target Traveling Salesman Problem with Obstacles AI summary
Anoop Bhat, Geordan Gutow, Surya Singh, Zhongqiang Ren, Sivakumar Rathinam, Howie Choset
 PDF