Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 9 of 58
Title & Authors Actions
Efficient Learning of Object Placement with Intra-Category Transfer AI summary
Adrian Röfer, Russell Buchanan, Maximilian Argus, Sethu Vijayakumar, Abhinav Valada
 PDF
GATO: GPU-Accelerated and Batched Trajectory Optimization for Scalable Edge Model Predictive Control AI summary
Alexander Du, Emre Adabag, Gabriel Bravo-Palacios, Brian Plancher
 PDF
Reward-Free Continual Adaptation for Resilient Space Robots AI summary
Andrej Orsula, Miguel A. Olivares-Mendez, Carol Martinez
 PDF
Bio-Inspired Tail Oscillation Enables Fast Crawling on Deformable Granular Terrains AI summary
Shipeng Liu, Meghana Sagare, Shubham Patil, Feifei Qian
 PDF
Re$^3$Sim: Generating High-Fidelity Simulation Data Via 3D-Photorealistic Real-To-Sim for Robotic Manipulation AI summary
Xiaoshen Han, Junqiu Yu, Minghuan Liu, Yilun Chen, Xiaoyang Lyu, Yang Tian, Bolun Wang, Weinan Zhang, Jiangmiao Pang
 PDF
Imitation-BT: Automating Behavior Tree Generation by Echoing Reinforcement Learning Agents AI summary
Shailendra Sekhar Bathula, Ramviyas Parasuraman
 PDF
EEG-Driven Intention Decoding: Offline Deep Learning Benchmarking on a Robotic Rover AI summary
Ghadah Alosaimi, Maha Alsayyari, Yixin Sun, Stamos Katsigiannis, Amir Atapour-Abarghouei, Toby Breckon
 PDF
Terrain-Aware Probabilistic Search Planning for Unmanned Aerial Vehicles AI summary
Nathan Schomer, Julie Adams
 PDF
CaLoRA-Stereo: Robust Stereo Endoscopic Depth Estimation Network Via Camera-Aware LoRA and Dual-View Geometry AI summary
Shixing Ma, Shuwei Shao, Zhaoxi Lin, xinzhe Du, Rui Song, Yibin Li, Max Q.-H. Meng, Zhe Min
 PDF
Balancing Marker and Markerless Modes in Vision-Based Tactile Sensors with a Translucent Skin AI summary
Oluwatimilehin Tijani, Zhuo Chen, Jiankang Deng, SHAN LUO
 PDF
A Parametric Wave-Structured 3-DoF Compliant Joint with Tunable Stiffness AI summary
Anjum Saeed, Mihai Dragusanu, Monica Malvezzi, Domenico Prattichizzo, Gionata Salvietti
 PDF
SpikeClouds: Streaming Spike-Based Processing of LiDAR for Fast and Efficient Object Detection AI summary
Michael Neumeier, Nael Fasfous, Bing Li, Axel von Arnim
 PDF
Robust Localization in Large-Scale Symmetric Environments through Dynamic Topological Mapping AI summary
Rafael Flor Rodríguez-Rabadán, Sergio Lafuente-Arroyo, Saturnino Maldonado-BascÃ3n, Carlos Gutiérrez Álvarez, Roberto J. LÃ3pez-Sastre
 PDF
PhotoAgent: A Robotic Photographer with Spatial and Aesthetic Understanding AI summary
to achieve one-shot success. (b) highlights three key capabilities.
 PDF
SHOPPER: Practical Insights on Grasp Strategies for Mobile Manipulation in the Wild AI summary
Isabella Huang, Richard Cheng, Sangwoon Kim, Daniel Kruse, Carolyn Chen, Lukas Kaul, JC Anne Hancock, Shanmuga Perumal Harikumar, Mark Tjersland, James Borders, Daniel Helmick
 PDF
Event-based Motion & Appearance Fusion for 6D Object Pose Tracking AI summary
Zhichao Li, Chiara Bartolozzi, Lorenzo Natale, Arren Glover
 PDF
Vision-Based Policy Learning for High-Speed Autonomous Racing AI summary
Haoran Xu, Xianwei Chen, Yilin Lang, Qinyuan Ren
 PDF
The Curse of Precision: A Data Scaling Law for High-Precision Robotic Manipulation AI summary
Cuijie Xu, Yuanfan Xu, Min Xue, Jianjie Lin, Xudong Zhang, Jian Wang, Yu Wang, Jincheng Yu
 PDF
Efficient 3D Reconstruction in Noisy Agricultural Environments: A Bayesian Optimization Perspective for View Planning AI summary
Athanasios Bacharis, Konstantinos Polyzos, Henry J. Nelson, Georgios B. Giannakis, Nikos Papanikolopoulos
 PDF
Touch2Insert: Zero-Shot Peg Insertion by Touching Intersections of Peg and Hole AI summary
Masaru Yajima, Yuma Shin, Rei Kawakami, Asako Kanezaki, Kei Ota
 PDF
Caspar: CUDA Accelerator for Symbolic Programming with Adaptive Reordering AI summary
Emil Martens, Aaron Miller, Matias Varnum, Annette Stahl
 PDF
AutoFocus-IL: VLM-Based Saliency Maps for Data-Efficient Visual Imitation Learning without Extra Human Annotations AI summary
Litian Gong, Fatemeh Bahrani, Yutai Zhou, Amin Banayeeanzade, Jiachen Li, Erdem Bıyık
 PDF
Video-To-BT: Generating Reactive Behavior Trees from Human Demonstration Videos for Robotic Assembly AI summary
Xiwei Zhao, Yiwei Wang, Yansong Wu, Fan Wu, Teng Sun, Zhonghua Miao, Sami Haddadin, Alois Knoll
 PDF
D-LIO: 6DoF Direct LiDAR-Inertial Odometry Based on Simultaneous Truncated Distance Field Mapping AI summary
Lucia Coto-Elena, Jose Enrique Maese, Luis Merino, Fernando Caballero
 PDF
Category-Level Object Shape and Pose Estimation in Less Than a Millisecond AI summary
Lorenzo Shaikewitz, Tim Nguyen, Luca Carlone
 PDF
Enhancing Pose Estimation Stability and Accuracy for Fiducial Markers Using Transparent Cylinders AI summary
Hideyuki Tanaka and Kunihiro Ogata
 PDF
OmniDexGrasp: Generalizable Dexterous Grasping Via Foundation Model and Force Feedback AI summary
Yi-Lin Wei, Zhexi Luo, Yuhao Lin, Mu Lin, Zhizhao Liang, Shuoyu Chen, Wei-Shi Zheng
 PDF
Towards Proprioception-Aware Embodied Planning for Dual-Arm Humanoid Robots AI summary
Boyu Li, Siyuan He, Hang Xu, Haoqi Yuan, Xinrun Xu, Yu Zang, Liwei Hu, ZhenXiong Jiang, Junpeng Yue, Pengbo Hu, Börje F. Karlsson, Dongbin Zhao, Yehui Tang, Zongqing Lu
 PDF
Task Scheduling Optimization for Multi-Human Multi-Robot Collaborative Remanufacturing AI summary
Emilio Herrera, Weitian Wang
 PDF
View Synthesis and 6DoF Pose Estimation in mmWave Radar Neural Radiance Fields AI summary
Ahmad Kamari, Hemant Kumar, Nan Wu, Amirreza Hajrasouliha, Bo Han, Parth Pathak
 PDF
Cosserat Rods with Cross-Sectional Deformation for Soft Robot Modeling AI summary
Samuel Tobin, Joshua Gaston, Vincent Aloi, Eric J. Barth, Caleb Rucker
 PDF
4D Radar Diffusion with Adaptive Visual-Aided Condition for Point Cloud Enhancement AI summary
Renxiang Xiao, Yuanfan Zhang, Wei Liu, Guangzhong Dong, Yunjiang Lou, Liang Hu
 PDF
Architected Vacuum Driven Origami Structures Via Direct Ink Writing of RTV Silicone AI summary
Qiyao Wang, Thileepan Stalin, Pablo Valdivia y Alvarado
 PDF
Robotic Grasping and Placement Controlled by EEG-Based Hybrid Visual and Motor Imagery AI summary
Yichang Liu, Tianyu Wang, Ziyi Ye, Yawei Li, Yu-Gang Jiang, Shouyan Wang, Yanwei Fu
 PDF
4DRaL: Bridging 4D Radar with LiDAR for Place Recognition Using Knowledge Distillation AI summary
Ningyuan Huang, Zhiheng Li, Zheng Fang
 PDF
Simulation-Driven Evolutionary Motion Parameterization for Contact-Rich Granular Scooping with a Soft Conical Robotic Hand AI summary
Yongliang Wang, Cristian Camilo Beltran-Hernandez, Tomoya Takahashi, Masashi Hamaya
 PDF
A Static Modelling and Evaluation Framework for Soft Continuum Robots with Reinforced Chambers AI summary
Jialei Shi, Hanyu Jin, Wenlong Gaozhang, Ge Shi, Sara Adela Abad Guaman, Helge Arne Wurdemann
 PDF
TactEx: An Explainable Multimodal Robotic Interaction Framework for Human-Like Touch and Hardness Estimation AI summary
Felix Verstraete, Lan Wei, WEN FAN, Dandan Zhang
 PDF
SVR-GS: Spatially Variant Regularization for Probabilistic Masks in 3D Gaussian Splatting AI summary
Ashkan Taghipour, Vahid Naghshin, Benjamin John Southwell, Farid Boussaid, Hamid Laga, Mohammed Bennamoun
 PDF
The Impact of Motor Action on Language Acquisition and Action-Verb Learning in a Robot AI summary
Zakaria LEMHAOURI, Laura Cohen, Ann Nowé, Lola Canamero
 PDF
3D Printable Crease-Free Origami Vacuum Bending Actuators for Soft Robots AI summary
Zhanwei Wang, Chen Huaijin, Syeda Shadab Zehra Zaidi, Ellen Roels, Hendrik Cools, Bram Vanderborght, Seppe Terryn
 PDF
Dense-Jump Flow Matching with Non-Uniform Time Scheduling for Robotic Policies: Mitigating Multi-Step Inference Degradation AI summary
Zidong Chen, Zhihao Guo, Peng Wang, ThankGod Itua Egbe, Yan Lyu, Chenghao Qian
 PDF
T(R, O) Grasp: Efficient Graph Diffusion of Robot-Object Spatial Transformation for Cross-Embodiment Dexterous Grasping AI summary
Xin Fei, Zhixuan Xu, Huaicong Fang, Tianrui Zhang, Lin Shao
 PDF
Assistant Placement Aria: A Benchmark for Egocentric Placement Assistance AI summary
Amir Belder, Gonçalo Dias Pais, Refael Vivanyi, Daniel DeTone, Omri Carmi, Ido, Binyamin Gattegno, Oren Shrout, Ayellet Tal
 PDF
An Underwater Exoskeleton for Scuba Diving: Reducing Air Consumption and Muscle Activation through Knee Assistance AI summary
Xianda Wu, Ming Xu, Zhihao Zhou, Wenjie Lou, Teng Zhang, Yalei Zhou, Jingeng Mai, Qining Wang
 PDF
Depth Completion by Rescaling Monocular Depth Estimates Via Compressed Sensing AI summary
Daoxin Zhong, Jun Li, Yeshas Thadimari, Meng Yee (Michael) Chuah
 PDF
Far-Field Image-Based Traversability Mapping for a Priori Unknown Natural Environments AI summary
Ethan Fahnestock, Erick Fuentes, Samuel Prentice, Vasileios Vasilopoulos, Philip Osteen, Thomas Howard, Nicholas Roy
 PDF
Flexible and Foldable: Workspace Analysis and Object Manipulation Using a Soft, Interconnected, Origami-Inspired Actuator Array AI summary
Bailey Dacre, Rodrigo Moreno, Serhat Demirtas, Ziqiao Wang, Yuhao Jiang, Jamie Paik, Kasper Stoy, Andres Faiña
 PDF
Efficient Hierarchical Reinforcement Learning with Dynamic Kolmogorov�Arnold Network for Long-Horizon Robotic Manipulation AI summary
Yuke Qu, Junkai Ren, Jiawei Luo, Yufeng Xie, Huimin Lu, Xin Xu, Yicong Ye
 PDF
Drive in Corridors: Enhancing the Safety of End-To-End Autonomous Driving Via Corridor Learning and Planning AI summary
Zhiwei Zhang, Ruichen Yang, Ke Wu, Zijun Xu, Jingchu Liu, Lisen Mu, Zhongxue Gan, Wenchao Ding
 PDF