Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 50 of 58
Title & Authors Actions
A Large Language Model-Based Mission Manager for Autonomous UAV Control AI summary
Milos Cihlar
 PDF
Manufacturing Micro-Patterned Surfaces with Multi-Robot Systems AI summary
Annalisa T. Taylor, Malachi Landis, Ping Guo, Todd D. Murphey
 PDF
Mechanomyography-Based Closed-Loop Control of FES Enabling Prolonged Force Assistance by Monitoring Muscle Fatigue AI summary
Zehao Liu, Weiguang Huo, Ravi Vaidyanathan
 PDF
DemoDiffusion: One-Shot Human Imitation Using Pre-Trained Diffusion Policy AI summary
Sungjae Park, Homanga Bharadhwaj, Shubham Tulsiani
 PDF
Point Cloud-Based Grasping for Soft Hand Exoskeleton AI summary
Chen Hu, Enrica Tricomi, Eojin Rho, Daekyum Kim, Lorenzo Masia, SHAN LUO, Letizia Gionfrida
 PDF
How to Model Your Crazyflie Brushless AI summary
Alexander Gräfe, Christoph Scherer, Wolfgang Hoenig, Sebastian Trimpe
 PDF
TopAY: Efficient Trajectory Planning for Differential Drive Mobile Manipulators Via Topological Paths Search and Arc Length-Yaw Parameterization AI summary
Long Xu, Choi Lam Wong, Mengke Zhang, Junxiao Lin, Jialiang Hou, Fei Gao
 PDF
CEDex: Cross-Embodiment Dexterous Grasp Generation at Scale from Human-Like Contact Representations AI summary
Zhiyuan Wu, Rolandos Alexandros Potamias, Xuyang Zhang, Zhongqun Zhang, Jiankang Deng, SHAN LUO
 PDF
Learning Cooperative Strategies for Drone Swarms Using Multi-Agent Reinforcement Learning AI summary
Christian Llanes, Kyle Williams, Spencer Jensen, Samuel Coogan
 PDF
Designing an Efficient Excavator Bucket for Lunar ISRU: A Comparative Study with Vision-Based Fill and Displacement Analysis AI summary
Abdulla Hil Kafi, Tomoki Koshi, Jorge Casir, Kenji Nagaoka
 PDF
Sparse Meets Dense: Correspondence Guided Robotic Manipulation with Rigid-Deformable Interactions AI summary
Ziyu Zhu, Yue Chen, Xirui Liang, Hojin Bae, Yuran Wang, Zhen Yuan, Ruihai Wu, Hao Dong
 PDF
A Multi-String Traversing Violin-Playing Robot for Carnatic Music AI summary
Raghavasimhan Sankaranarayanan, Gil Weinberg
 PDF
KiGRAS: Kinematic-Driven Generative Model for Realistic Agent Simulation AI summary
Jianbo Zhao, Jiaheng Zhuang, Zhou Qibin, Taiyu Ban, Ziyao Xu, Hangning Zhou, Junhe Wang, Guoan Wang, Zhiheng Li, Bin Li
 PDF
Bundled Liquid Crystal Elastomer Actuators with Integrated Cooling for Mesoscale Soft Robots AI summary
Anoush Sepehri, Sukjun Kim, Devyansh Agrawal, Hannah Yared, Gaoweiang Dong, Shengqiang Cai, Tania K. Morimoto
 PDF
DD-MDN: Human Trajectory Forecasting with Diffusion-Based Dual Mixture Density Networks and Uncertainty Self-Calibration AI summary
Manuel Hetzel, Kerim Turacan, Hannes Reichert, Konrad Doll, Bernhard Sick
 PDF
EMMA: Scaling Mobile Manipulation via Egocentric Human Data AI summary
Lawrence Y. Zhu, Pranav Kuppili, Ryan Punamiya, Patcharapong Aphiwetsa, Dhruv Patel, Simar Kareer, Sehoon Ha, Danfei Xu
 PDF
Tactile-Conditioned Diffusion Policy for Force-Aware Robotic Manipulation AI summary
Erik Helmut, Niklas Wilhelm Funk, Tim Schneider, Cristiana de Farias, Jan Peters
 PDF
Soft Robots Grow a Spine: Origami-Inspired Folding Endoskeletal Support for Motion and Stiffness Control of Inflatable Robots AI summary
Junil Min, Matthew Robertson
 PDF
Highly Flexible Task Planner for Robots in Dynamic Environments AI summary
Miguel Guzman-Merino, Jörn Plönnigs
 PDF
CU-Multi: A Dataset for Multi-Robot Collaborative Perception AI summary
Doncey Albin, Daniel McGann, Miles Mena, Annika Thomas, Harel Biggie, Xuefei Sun, Steve McGuire, Jonathan How, Christoffer Heckman
 PDF
Safety Evaluation of Motion Plans Using Trajectory Predictors As Forward Reachable Set Estimators AI summary
Kaustav Chakraborty, Zeyuan Feng, Sushant Veer, Apoorva Sharma, Wenhao Ding, Sever Topan, Boris Ivanovic, Marco Pavone, Somil Bansal
 PDF
Reinforcement Learning for Active Perception in Autonomous Navigation AI summary
Grzegorz Malczyk, Mihir Kulkarni, Kostas Alexis
 PDF
MASAR: Motion�Appearance Synergy Refinement for Joint Detection and Trajectory Forecasting AI summary
Mohammed Amine Bencheikh Lehocine, Julian Schmidt, Frank Moosmann, Dikshant Gupta, Fabian Flohr
 PDF
CornerVINS: Accurate Localization and Layout Mapping for Structural Environments Leveraging Hierarchical Geometric Representations AI summary
and Yihong Wu
 PDF
Simulated Annealing for Multi-Robot Ergodic Information Acquisition Using Graph-Based Discretization AI summary
Benjamin Wong, Aaron Weber, Mohamed Safwat, Santosh Devasia, Ashis Banerjee
 PDF
Switch: Learning Agile Skills Switching for Humanoid Robots AI summary
Yuen-Fui Lau, Qihan Zhao, Yinhuai WANG, Runyi Yu, Hok Wai Tsui, Qifeng Chen, Ping Tan
 PDF
Design and Modeling of a Reconfigurable Robot: Decoupled STAR (DSTAR) AI summary
Tomer Siboni, Matan Coronel, David Zarrouk
 PDF
Real-Time Millimeter-Accurate Underwater Pose Estimation Via Tightly-Coupled Fusion of Vision and Optical Tracking AI summary
Yuer Gao, Tongqing Xu, Yi Cai
 PDF
Prompt-To-State Stable Vision-Language MPC for Approximated Neural Network Dynamics a Case Study on Soft Robot Control AI summary
Nicotra Emanuele, James J. Davies, Kefan Zhu, Sharma Bibhu, Adrienne Ji, Phuoc Thien Phan, Hung Manh La, Nigel Hamilton Lovell, Thanh Nho Do
 PDF
TransLocNet: Cross-Modal Attention for Aerial-Ground Vehicle Localization with Contrastive Learning AI summary
Phu Pham, Damon Conover, Aniket Bera
 PDF
Hierarchical Grid-Based Sensor Pose Extraction for Demonstration Dataset Generation AI summary
Doyu Lim, Chaewon Park, Soohee Han
 PDF
Learning Neural Control Barrier Functions from Expert Demonstrations Using Inverse Constraint Learning AI summary
Yuxuan Yang, Hussein Sibai
 PDF
SARL: Spatially-Aware Self-Supervised Representation Learning for Visuo-Tactile Perception AI summary
Gurmeher Khurana, Lan Wei, Dandan Zhang
 PDF
Causality-Based Parametric Control Barrier Function for Safe Multi-Vehicle Interaction AI summary
Yiwei Lyu, Caleb Chang, John M. Dolan
 PDF
Flexible and Efficient Spatio-Temporal Transformer for Sequential Visual Place Recognition AI summary
Yu Kiu (Idan) Lau, Chao Chen, Ge Jin, Chen Feng
 PDF
Magnetic-Acoustic Microbubble Microrobot for Targeted Mechanical Stimulation of Cancer Cells AI summary
Cun Wang, Ruicheng Li, Qianyi Dai, Zhaokai Wang, Yongjun Lai, Lidan You, Xian Wang
 PDF
Co-Design and Morphology-Guided Feedback Control: An Approach for Soft Robots AI summary
Nhan Huu Nguyen, Dinh Truong Do, Le Minh Nguyen, Van Ho
 PDF
Large-Scale Autonomous Vehicle Fleet Management AI summary
Timothy Mulumba
 PDF
Compact Robotic Gripper with Tandem Actuation for Selective Apple Harvesting AI summary
Alejandro Velasquez-Lopez, Cindy Grimm, Joseph Davidson
 PDF
When Rolling Gets Weird: A Curved-Link Tensegrity Robot for Non-Intuitive Behavior AI summary
Lauren Ervin, Harish Bezawada, Vishesh Vikas
 PDF
Optimal Multi-Robot Planning for Simultaneous Area and Line Coverage AI summary
Tianyuan Zheng, Kaiyan Yu, Mingyang Gao, Jingang Yi
 PDF
Beyond Reactive Adaptation: Long-Horizon Memory for Autonomous Racing Via State Space Models AI summary
Grzegorz Czechmanowski, Jan Węgrzynowski, Piotr Kicki, Krzysztof, Tadeusz Walas
 PDF
R3DPA: Leveraging 3D Representation Alignment and RGB Pretrained Priors for LiDAR Scene Generation AI summary
Nicolas Sereyjol-Garros, Ellington Kirby, Victor Besnier, Nermin Samet
 PDF
Continual Learning for Traversability Prediction with Uncertainty-Aware Adaptation AI summary
PDF
Viewpoint-Agnostic Manipulation Policies with Strategic Vantage Selection AI summary
Sreevishakh Vasudevan Nampoothiri, Som Sagar, Ransalu Senanayake
 PDF
APREBot: Active Perception System for Reflexive Evasion Robot AI summary
ZIHAO XU, Kuankuan Sima, Junhao Deng, Zixuan Zhuang, Chunzheng Wang, Ce Hao, Jin Song Dong
 PDF
Tactile Elastography AI summary
Yichen Xiang, Lifeng Zhu, Aiguo Song, Jessica Zhang
 PDF
Few-Shot Neural Differentiable Simulator: Real-To-Sim Rigid-Contact Modeling AI summary
Zhenhao Huang, Siyuan Luo, Bingyang Zhou, Ziqiu Zeng, Fan Shi
 PDF
DiffuDepGrasp: Diffusion-Based Depth Noise Modeling Empowers Sim-To-Real Robotic Grasping AI summary
Yingting Zhou, Wenbo Cui, Weiheng Liu, Guixing Chen, Haoran Li, Dongbin Zhao
 PDF
Energy-Based Kinematic Analysis on Magnetic Soft Continuum Robot with Asymmetric Magnetization AI summary
Junyeong Lee, Joowon Park, Sukho Park
 PDF