Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 33 of 58
Title & Authors Actions
Unified Generation-Refinement Planning: Bridging Guided Flow Matching and Sampling-Based MPC for Social Navigation AI summary
Kazuki Mizuta, Karen Leung
 View PDF
From Language to Action: Can LLM-Based Agents Be Used for Embodied Robot Cognition? AI summary
Shinas Shaji, Fabian Huppertz, Alex Mitrevski, Sebastian Houben
 View PDF
Find the Fruit: Zero-Shot Sim2Real RL for Occlusion-Aware Plant Manipulation AI summary
Nitesh Subedi, Hsin-Jung Yang, Devesh K. Jha, Soumik Sarkar
 View PDF
SHAF: Small Language Model Integrated with Motion Modality for Multimodal Interaction AI summary
Aamir Ahmad Ansari, Nguyen Tan Viet Tuyen, Sarvapali Ramchurn
 View PDF
Empirical Prediction of Pedestrian Comfort in Mobile Robot�Pedestrian Encounters AI summary
Alireza Jafari, Hong-Son Nguyen, Yen-Chen Liu
 View PDF
Multi-Agent Monte Carlo Tree Search for Makespan-Efficient Object Rearrangement in Cluttered Spaces AI summary
Hanwen Ren, Junyoung Kim, Aathman Tharmasanthiran, Ahmed H. Qureshi
 View PDF
Real-Time Adaptive Motion Planning Via Point Cloud-Guided, Energy-Based Diffusion and Potential Fields AI summary
Wondmgezahu Teshome, Kian Behzad, Octavia I. Camps, Michael Everett, Milad Siami, Mario Sznaier
 View PDF
HCOA*: Hierarchical Class-Ordered A* for Navigation in Semantic Environments AI summary
Evangelos Psomiadis, Panagiotis Tsiotras
 View PDF
Training Humans to Teach Robots: Large and Lasting Skill Gains AI summary
Yuqing Zhu, Endong Sun, Matthew Howard
 View PDF
A Multimodal Stochastic Planning Approach for Navigation and Multi-Robot Coordination AI summary
Mark Gonzales, Ethan Oh, Joseph Moore
 View PDF
Amplifying Force-Feedback Cues for Enhancing Dexterous Skill Transfer in Virtual Environments AI summary
Eunchae Kim, Jaewan Lim, Jiyoung Park, Yongjae Yoo
 View PDF
Nullspace Optimization of Redundant Robots for Dynamics Decoupling in Motion Force Control AI summary
Wenbo Tang, Weiming Wang, Shiquan Wang, Wenhai Liu
 View PDF
IDfRA: Self-Verification for Iterative Design in Robotic Assembly AI summary
Nishka Khendry, Christos Margadji, Sebastian William Pattinson
 View PDF
Autonomous Flights Inside Narrow Tunnels AI summary
Luqi Wang, Yan Ning, Hongming Chen, Peize Liu, Yang Xu, Hao Xu, Ximin Lyu and Shaojie Shen
 View PDF
Pragmatic Embodied Spoken Instruction Following in Human-Robot Collaboration with Theory of Mind AI summary
Lance Ying, Xinyi Li, Shivam Aarya, Yizirui Fang, Jason Xinyu Liu, Yifan Yin, Stefanie Tellex, Joshua Tenenbaum, Tianmin Shu
 View PDF
Curriculum Reinforcement Learning for Quadrotor Racing with Random Obstacles AI summary
Fangyu Sun, Fanxing Li, Yu Hu, Linzuo Zhang, Yueqian Liu, Wenxian Yu, Danping Zou
 View PDF
Acoustic Feedback for Closed-Loop Force Control in Robotic Grinding AI summary
Zongyuan Zhang, Christopher Lehnert, Will Browne, Jonathan Roberts
 View PDF
GeoDrive: 3D Geometry-Informed Driving World Model with Precise Action Control AI summary
Anthony Chen, Wenzhao Zheng, Yida Wang, Xueyang Zhang, Kun Zhan, Peng Jia, Kurt Keutzer, Shanghang Zhang
 View PDF
SF-ODNav: Successor Feature Framework for Map-Less Target-Driven Outdoor Visual Navigation AI summary
Junzhe Wu, Jiaming Zhang, Tingrong Zhang, Ruining Tao, Huy Tran, Girish Chowdhary
 View PDF
Improving Robotic Manipulation Robustness Via NICE Scene Surgery AI summary
Sajjad Pakdamansavoji, MOZHGAN POURKESHAVARZ, Adam Sigal, Zhiyuan Li, Rui Heng Yang, Amir Rasouli
 View PDF
Analysis of Independent Control in Tilt-Rotor Quadrotors AI summary
Sathyanarayanan Seshasayanan, Sanjay Chaturvedi, Soumya Ranjan Sahoo
 View PDF
Towards Simulation-Based Optimization of Compliant Fingers for High-Speed Connector Assembly AI summary
and Kevin Haninger
 View PDF
HINT-3D: Human-In-The-Loop Interactive Test-Time Adaptation for 3D Segmentation AI summary
Odei jamaleddine, Imad Elhajj, Daniel Asmar
 View PDF
Geometry-Aided Vision-Based Localization of Future Mars Helicopters in Challenging Illumination Conditions AI summary
Dario Pisanti, Robert Hewitt, Roland Brockers, Georgios Georgakis
 View PDF
Disentangled Point Diffusion for Precise Object Placement AI summary
Lyuxing He, Eric Cai, Shobhit Aggarwal, Jianjun Wang, David Held
 View PDF
ROAR a Robust Autonomous Aerial Tracking System for Challenging Scenarios AI summary
Tong Zhang, Chenghao Li, Kezhen Zhao, Hao Shen, Tao Pang
 View PDF
Time-Optimal Trajectory Planning and Model Predictive Control of Morphing Quadrotors AI summary
Qiuyu Wang, Na Zhao, Chaojun Qin, Xiyu Ke, Yudong Luo, Yantao Shen
 View PDF
A Framework for Adaptive Load Redistribution in Human-Exoskeleton-Cobot Systems AI summary
Emir Mobedi, Gokhan Solak, Arash Ajoudani
 View PDF
HRI-DGDM: Dual-Graph Guided Diffusion Model for Uncertain Human Motion Modeling in HRI AI summary
Hongquan Gui, Ming Li
 View PDF
Autonomous Aerial Vehicle Carrier and MAV Collaboration: System Design, Trajectory Optimization, and Real-World Implementation AI summary
Jinliang Shao, Hailong Huang∗
 View PDF
PersONAL: Towards a Comprehensive Benchmark for Personalized Embodied Agents AI summary
Filippo Ziliotto, Jelin Raphael Akkara, Alessandro Daniele, Lamberto Ballan, Luciano Serafini, Tommaso Campari
 View PDF
Full-Scale Autonomous Highway Inspection with Quadruped Robot: Multi-Level Locomotion Learning in Complex Environments AI summary
Chenxiang Ma, Chengcheng Xu, Feng Wang
 View PDF
Finding an Initial Probe Pose in Teleoperated Robotic Echocardiography Via 2D LiDAR-Based 3D Reconstruction AI summary
Mariadas Capsran Roshan, Edgar Mauricio Hidalgo Florez, Mats Isaksson, Michelle Dunn, Jagannatha Charjee Pyaraka
 View PDF
Depth-Constrained ASV Navigation with Deep RL and Limited Sensing AI summary
Amirhossein Zhalehmehrabi, Daniele Meli, Francesco Dal Santo, Francesco Trotti, Alessandro Farinelli
 View PDF
SoftHand Model-W: A 3D-Printed, Anthropomorphic, Underactuated Robot Hand with Integrated Wrist and Carpal Tunnel AI summary
Dhillon Merritt, Christopher Ford, Haoran Li, Malia Smith, Zhixing Chen, Efi Psomopoulou, Nathan Lepora
 View PDF
Nullspace Adaptive Velocity Controller for Ground Vehicles: Theory and Experimental Evaluation AI summary
Allan Elsberry, Jeremy Dawkins, Louis Whitcomb
 View PDF
Heterogeneous Skill Learning for Asynchronous Multi-Robot Relay Pushing in Complex Environments AI summary
Hui Zhi, David Navarro-Alarcon
 View PDF
Increasing the Stiffness of Tendon-Driven Continuum Robots Via Multi-Constraints AI summary
Bassel Zebian, Thomas Booth, Radhouene Neji, and Christos Bergeles
 View PDF
Unveiling the Surprising Efficacy of Navigation Understanding in End-To-End Autonomous Driving AI summary
Zhihua Hua, junli Wang, Pengfei Li, Qihao Jin, Bo Zhang, Kehua Sheng, Yilun Chen, Zhongxue Gan, Wenchao Ding
 View PDF
ProVox: Personalization and Proactive Planning for Situated Human-Robot Collaboration AI summary
Jennifer Grannen, Siddharth Karamcheti, Blake Wulfe, Dorsa Sadigh
 View PDF
Vision-Guided Robotic Grinding with Deep Learning-Based Bead Segmentation and Digital Twin Verification AI summary
Seong Hyeon Kim, Hyo-Young Kim
 View PDF
DQ-NMPC: Dual-Quaternion NMPC for Quadrotor Flight AI summary
Luis F. Recalde, Dhruv Madhusudan Agrawal, Jon Arrizabalaga, Guanrui Li
 View PDF
A Multi-Inlet Extrusion System for Closed-Loop Spatial Profile Control in Large-Format Additive Manufacturing AI summary
Angelica Coronado Preciado, Brian Parrott, Eric Feron
 View PDF
EndoDDC: Learning Sparse to Dense Reconstruction for Endoscopic Robotic Navigation Via Diffusion Depth Completion AI summary
Yinheng LIN, Yiming Huang, Beilei Cui, Long Bai, Huxin Gao, Hongliang Ren, Jiewen Lai
 View PDF
Learning to Design Soft Hands Using Reward Models AI summary
Xueqian Bai, Nicklas Hansen, Adabhav Singh, Michael T. Tolley, Yan Duan, Pieter Abbeel, Xiaolong Wang, Sha Yi
 View PDF
Safety-Critical Reactive Motion Using Constrained Variable Admittance Control with Dual-Type Proximity Sensors AI summary
Seung Jae Moon, Hongsik Yim, Hyunchang Kang, Jaeyun Sim, Dawoon Jung, Hyouk Ryeol Choi
 View PDF
ByteWrist: A Parallel Robotic Wrist Enabling Flexible and Anthropomorphic Motion for Confined Spaces AI summary
Jiawen Tian, Jingchao Qiao, Liqun Huang, zhongren cui, Xiao Ma, Jiafeng Xu, Zeyu Ren
 View PDF
Reliable and Scalable Robot Policy Evaluation with Imperfect Simulators AI summary
Apurva Badithela, David Snyder, Lihan Zha, Joseph Mikhail, Matthew O'Kelly, Anushri Dixit, Anirudha Majumdar
 View PDF
Safe Explicable Policy Search AI summary
Akkamahadevi Hanni, Jonathan Montano, Yu (Tony) Zhang
 View PDF
A Dual-Adhesion-Enhanced Soft Gripper with Microwedge Adhesives and SMA-Driven Microspines AI summary
Chang Wang, Peijin Zi, Yang Luo, Bochao Song, Tao Zhang, Kun Xu, Xilun Ding
 View PDF