Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 2 of 58
Title & Authors Actions
Towards Personalized Social Robots: Adaptive Prompting for Real-Time Context-Aware Conversations AI summary
Himanshi Lalwani, Hanan Salam
 PDF
A CAD-Free Vision-Guided Framework for Robotic Deburring of Flexible Shoe Soles AI summary
Alessandra Tafuro, Marco Guarini, Angelo Mineo, Andrea Maria Zanchettin, Paolo Rocco
 PDF
UltraDexGrasp: Learning Universal Dexterous Grasping for Bimanual Robots with Synthetic Data AI summary
Sizhe Yang, Yiman Xie, Zhixuan Liang, Yang Tian, Jia Zeng, Dahua Lin, Jiangmiao Pang
 PDF
Statistical Contraction for Chance-Constrained Trajectory Optimization of Non-Gaussian Stochastic Systems AI summary
Rihan Aaron D’Silva and Hiroyasu Tsukamoto
 PDF
Cuspidal Redundant Robots: Classification of Infinitely Many IKS of Special Classes of 7R Robots AI summary
Durgesh Haribhau Salunkhe, Sthithpragya Gupta, Aude Billard
 PDF
Language-Guided Dexterous Functional Grasping by LLM Generated Grasp Functionality and Synergy for Humanoid Manipulation AI summary
Caldwell and Fei Chen, Senior
 PDF
Novel Robotic Fleet for Sample Recovery in Lunar Craters: A Concept of Operations AI summary
Rishi Jangale, Derek Pravecek, Sarah Lam, David McDougall, Mauricio Trevino, Aaron Villanueva, Jonas Land, Heaven De Leon, Micah Oevermann, Robert Ambrose
 PDF
HAVEN: Hierarchical Adversary-Aware Visibility-Enabled Navigation with Cover Utilization Using Deep Transformer Q-Networks AI summary
Mihir Chauhan, Damon Conover, Aniket Bera
 PDF
ASMA: An Adaptive Safety Margin Algorithm for Vision-Language Drone Navigation Via Scene-Aware Control Barrier Functions AI summary
Sourav Sanyal, Kaushik Roy
 PDF
From Demonstrations to Safe Deployment: Path-Consistent Safety Filtering for Diffusion Policies AI summary
Ralf Römer, Julian Balletshofer, Jakob Thumm, Marco Pavone, Angela P. Schoellig, Matthias Althoff
 PDF
Learning Optimal Strategies for Needle Handover in Surgical Suturing AI summary
Cholin Kim, Jeonghyeon Yoon, Hakyun Lee, Sihyeoung Park, Hyojae Park, Seungjun Lee, Michael Yip, Minho Hwang
 PDF
Automated retinal photocoagulation using instrument-integrated OCT and laser pattern mapping AI summary
Marius Briel, Ludwig Haide, Dongyue Wu, Justus Hornstein, Philipp Matten, Nicola Piccinelli, Gernot Kronreif, Eleonora Tagliabue, Franziska Mathis-Ullrich
 PDF
SurgAM: Surgical Affordance Map Prediction with Multimodal Feature Fusion for Robot Autonomy AI summary
Lei Song, Yonghao Long, Mengya Xu, Jiayi Geng, Xiuyuan Chen, Qi Dou
 PDF
Why Cognitive Robotics Matters: Lessons from OntoAgent and LLM Deployment in HARMONIC for Safety-Critical Robot Teaming AI summary
Sanjay Oruganti,Sergei Nirenburg,Marjorie McShane,Jesse English,Michael Roberts,Christian Arndt,Ramviyas Parasuraman,Luis Sentis
 PDF
Multi-View Stereo with Geometric Encoding for Large-Scale Dense Scene Reconstruction AI summary
Guidong YANG, Rui Cao, Junjie Wen, Benyun ZHAO, Qingxiang Li, Xi Chen, Yunhui Liu, Ben M. Chen
 PDF
SEP-NMPC: Safety Enhanced Passivity-Based Nonlinear Model Predictive Control for a UAV Slung Payload System AI summary
Seyedreza Rezaei, Junjie Kang, Amaldev Haridevan, Jinjun Shan
 PDF
3D Printable Soft Liquid Metal Sensors for Delicate Manipulation Tasks AI summary
Lois Liow, Jonty Milford, Emre Uygun, Andre Farinha, VinothKumar Viswanathan, Joshua Pinskier, David Howard
 PDF
Co-Optimizing Reconfigurable Environments and Policies for Decentralized Multi-Agent Navigation AI summary
Zhan Gao, Guang Yang, Amanda Prorok
 PDF
EeLsT: An Energy-Efficient Long-Short Term Approach for Sustainable Sailboat Autonomy in Disturbed Marine Environment AI summary
Qinbo Sun, Weimin Qi, Huihuan (Alex) Qian
 PDF
SDPRLayers: Certifiable Backpropagation through Polynomial Optimization Problems in Robotics AI summary
Connor Holmes, Frederike Dümbgen, Timothy Barfoot
 PDF
Unreal Robotics Lab: A High-Fidelity Robotics Simulator with Advanced Physics and Rendering AI summary
Jonathan Embley-Riches, Jianwei Liu, Simon Julier, Dimitrios Kanoulas
 PDF
Temporal Transfer Learning for Traffic Optimization with Coarse-Grained Advisory Autonomy AI summary
Jung-Hoon Cho, Sirui Li, Jeongyun Kim, Cathy Wu
 PDF
Enhancing Dual-Loop Pressure Control in Pneumatic Soft Robotics with a Comparison of Evolutionary Algorithms for PID & FOPID Controller Tuning AI summary
Jacqueline Libby, Mostafa Mo. Massoud, Paulo Henrique Teixeira Franca Alves
 PDF
Fast Monocular Depth Estimation for Underwater Robotics Leveraging Attenuation Differences As Supplementary Information AI summary
Hao Wang, Liang Lu, Yan Dong, Bin Han
 PDF
SwarmNav: Swarm Robotics Navigation in Dynamic and Dense Environments Via Reinforcement Learning AI summary
Shengbo Li, Chuanjie Lv, Xiangqian Yuan, Liming Xu, Xinyang Liu, Zongzhi Zhu, Gang Xu, Yong Liu
 PDF
Distributed AI for Robotics AI summary
Satyabhama Singh, Lars Wulfert, Hendrik Woehrle
 PDF
SCU-Hand with Integrated Single-Sheet Valve: A Funnel-Shaped Robotic Hand for Milligram-Scale Powder Handling AI summary
Tomoya Takahashi, Yusaku Nakajima, Cristian Camilo Beltran-Hernandez, Yuki Kuroda, Kazutoshi Tanaka, Masashi Hamaya, Kanta Ono, Yoshitaka Ushiku
 PDF
One Prompt, Many Rooms: A Force-Directed Approach to 3D Scene Generation for Robotics Simulation AI summary
Christopher May, Peter Hetzner, Matthias Kalenberg, Ashwin Sajith Nambiar, Jörg Franke, Sebastian Reitelshöfer
 PDF
DYNAMO: Dependency-Aware Deep Learning Framework for Articulated Assembly Motion Prediction AI summary
Mayank Patel, Rahul Jain, Asim Unmesh, Karthik Ramani
 PDF
Memory-Efficient Voxelized Renderable Neural 3D Spatial Representation for Vision-Based Robotics AI summary
Howoong Jun, Seongbo Ha, Jaewon Lee, Hyeonwoo Yu, Songhwai Oh
 PDF
AeroScene: Progressive Scene Synthesis for Aerial Robotics AI summary
Nghia Vu Huu, Tuong Do, Viet-Dzung Tran, Binh Nguyen, Hoan Nguyen, Erman Tjiputra, Quang Tran, Hai-Nguyen (Hann) Nguyen, Anh Nguyen
 PDF
RoboPrec: Enabling Reliable Embedded Computing for Robotics by Providing Accuracy Guarantees across Mixed-Precision Datatypes AI summary
Alp Eren Yilmaz, Thomas Bourgeat, Lillian Pentecost, Brian Plancher, Sabrina Neuman
 PDF
Do You Know the Way? Human-In-The-Loop Understanding for Fast Traversability Estimation in Mobile Robotics AI summary
Andre Schreiber, Katherine Driggs-Campbell
 PDF
Learning from Demonstrations Over Riemannian Manifolds Using Neural ODEs AI summary
Diana Gerlid Cuervo Espinosa, Mahathi Anand, Angela P. Schoellig
 PDF
Vertical-Plane Locomotion Control of a High-Speed Robotic Tuna Via NMPC AI summary
Ru Tong, Sijie Li, Di Chen, Zhengxing Wu, Junzhi Yu
 PDF
Rethinking the Practicality of Vision-Language-Action Model: A Comprehensive Benchmark and an Improved Baseline AI summary
Wenxuan Song, Jiayi Chen, Xiaoquan Sun, Huashuo Lei, Yikai Qin, wei zhao, Pengxiang Ding, Han Zhao, Tongxin Wang, Pengxu Hou, Zhide Zhong, Haodong Yan, Donglin Wang, Jun Ma, Haoang Li
 PDF
Stereo-Based Vision and Tactile Sensing for Robust Dual-Arm Robotic Connector Assembly AI summary
Michele Mirto, Alessio Caporali, Salvatore Pirozzi, Gianluca Palli
 PDF
Low Cost, Easily Manufactured, Highly Flexible Strain and Touch Sensitive Fiber for Robotics Applications AI summary
Christian Diaz Herrera, Srushti Raste, Simin Liu, Miles Modeste, Jiyang (Patton) Yin, Katelyn McCall, Yuxing Jared Yao, Roopkamal Chahal, Simon Chidley, Trung Ha, T. David Westmoreland, Sonia Roberts
 PDF
ProbeMDE: Uncertainty-Guided Active Proprioception for Monocular Depth Estimation in Surgical Robotics AI summary
Britton Jordan, Jordan Thompson, Jesse F. d'Almeida, Hao Li, Nithesh Kumar, Susheela Sharma Stern, James Ferguson, Ipek Oguz, Robert James Webster III, Daniel Brown, Alan Kuntz
 PDF
Enhancing Classical Motion Planners Using RL with Safety Guarantees AI summary
Elias Goldsztejn, Ronen Brafman
 PDF
SHaRe-RL: Structured, Interactive Reinforcement Learning for Contact-Rich Industrial Assembly Tasks AI summary
Jannick Stranghöner, Philipp Hartmann, Lisa-Marie Weigelt, Marco Braun, Sebastian Wrede, Klaus Neumann
 PDF
PokeFlex: A Real-World Dataset of Volumetric Deformable Objects for Robotics AI summary
Jan Obrist, Miguel Angel Zamora Mora, Hehui Zheng, Ronan Hinchet, Firat Ozdemir, Juan Jose Zarate, Robert Kevin Katzschmann, Stelian Coros
 PDF
AutoPercep: A Pipeline for Onboard Neighbor Position Estimation Toward Large-Scale Swarm Robotics AI summary
Ruiheng Wu, Simay Atasoy Bingöl, Oliver Deussen, Heiko Hamann, Iain D. Couzin, Andreagiovanni Reina, Liang Li
 PDF
Task Correlation and Edge-Cost Estimation for Robotic Task Sequencing Problem in Torus C-Space AI summary
PHAYUTH YONRITH, Ayoung Hong
 PDF
Mis: Light Response Agent for Video Comment with Multimodal Informative Seeking AI summary
Dong Zhang, Tongfei Shen, Zhiyu Tang, Shoushan Li, Guodong Zhou
 PDF
Eventually Optimal and Scalable Multi-Agent Planning for Block Cave Mining AI summary
Christopher Leet, Paolo Forte, Uwe Köckemann, Henrik Andreasson, Sven Koenig
 PDF
A MATLAB/Simulink-Based Sim2Real Control Framework for the Unitree G1 Using ROS 2 and MuJoCo AI summary
Leffer Trochez, Nicanor Quijano, Jorge Lopez-Jimenez, Carlos Francisco Rodriguez Herrera
 PDF
RoA-Planner: Rotatable Area-Based Path Planner in Dense Spaces AI summary
Hyouk Ryeol Choi, Yeongwoo Son, Hyunyong Lee, Hansol Kang, Ji Man Park, SeongWon Nam, JaeYoung Oh, Bumsu Yi, Junha Song, SooYeon Choi, Bogeun Kim, daegeun song
 PDF
Preference-Conditioned Reinforcement Learning for Space-Time Efficient Online 3D Bin Packing AI summary
Nikita Sarawgi, Omey Mohan Manyar, Fan Wang, Thinh Nguyen, Daniel Seita, Satyandra K. Gupta
 PDF
Beyond the Teacher: Leveraging Mixed-Skill Demonstrations for Robust Imitation Learning AI summary
Saharsh Saharsh, Shubham Sonkar, Pushpak Jagtap, Ravi Prakash
 PDF