Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 26 of 58
Title & Authors Actions
D-CAT: Decoupled Cross-Attention Knowledge Transfer between Sensor Modalities for Unimodal Inference AI summary
Leen Daher, Zhaobo Wang, Malcolm Mielle
 View PDF
Tuning Hydrodynamic Coefficients Using a Genetic Algorithm for a Numerical Model of a Bio-Robotic Sea Lion AI summary
Shraman Kadapa, Nicholas Marcouiller, ANTHONY DRAGO, James Tangorra, Harry Kwatny
 View PDF
Human-Centered Development of Guide Dog Robots: Quiet and Stable Locomotion Control AI summary
Shangqun Yu, Hochul Hwang, Trung Dang, Joydeep Biswas, Nicholas Giudice, Sunghoon Ivan Lee, Donghyun Kim
 View PDF
Real-Time Path-Reconfigurable Coverage Planning for Multi-UAV Missions Over Disjoint Areas AI summary
Cai Luo, Jintao Guo, Zixuan Liu, LEI LIU, Chunbo Luo
 View PDF
Uncertainty-Aware Autonomous Vehicles: Predicting the Road Ahead AI summary
Shireen Kudukkil Manchingal, Armand Amaritei, Mihir Gohad, Maryam Sultana, Julian Francisco Pieter Kooij, Fabio Cuzzolin, Andrew Bradley
 View PDF
Vision-Based Panoptic Occupancy Prediction in Urban Environments AI summary
Rodrigo Marcuzzi, Lucas Nunes, Elias Ariel Marks, Xingguang Zhong, Jens Behley, Cyrill Stachniss
 View PDF
SurgVidLM: Towards Multi-Grained Video Understanding with Large Language Model in Robot-Assisted Surgery AI summary
Junjun He, Yiming Huang, Nicolas Padoy, Zhen Lei, Hongbin Liu, Nassir Navab and Hongliang Ren
 View PDF
Real-Time Motion Segmentation with Event-Based Normal Flow AI summary
Sheng Zhong, Zhongyang Ren, Xiya Zhu, Dehao Yuan, Cornelia Fermuller, Yi Zhou
 View PDF
Gaze-Guided Robotic Vascular Ultrasound Leveraging Human Intention Estimation AI summary
Yuan Bi, Yang Su, Nassir Navab, Zhongliang Jiang
 View PDF
Real-Time BEVFormer: Fast Transformer-Based BEV Perception Network on Edge Device AI summary
Juyoung Yang, Seoha Baek, Eunbin Seo, Wonseok Jeon, Doyeon Kim, Jongsun Kim, Heeyeon Nah
 View PDF
Learning Task-Invariant Properties Via Dreamer: Enabling Efficient Policy Transfer for Quadruped Robots AI summary
Junyang Liang, Yuxuan Liu, Yanbin Chang, Junfan Lin, JunKai JI, Hui Li, Changxin Huang, Jianqiang Li
 View PDF
Dexora: Open-Source VLA for High-DoF Bimanual Dexterity AI summary
Hang Zhao, Pengwei Wang, Shanghang Zhang,, Guocai Yao, Jianyu Chen, Hongyang Li, Hao Zhao
 View PDF
SpReg: An Autonomous Image-To-Patient Registration Framework for Robotic Bronchoscopy AI summary
Dingpei Han, Tianqi Huang, Fang Chen,∗
 View PDF
E^2DT: Efficient and Effective Decision Transformer with Experience-Aware Sampling for Robotic Manipulation AI summary
Kaiyan Zhao, Borong Zhang, Yiming Wang, Xingyu Liu, Xuetao Li, Yuyang Chen, Xiaoguang Niu
 View PDF
Passive Multi-Task Compliance Control with Strict Priority through Energy Tanks AI summary
Erling Tveter, Bjørn Kåre Sæbø, Christian Ott, Kristin Y. Pettersen, Jan Tommy Gravdahl
 View PDF
SFCo-Nav: Efficient Zero-Shot Visual Language Navigation Via Collaboration of Slow LLM and Fast Attributed Graph Alignment AI summary
Chaoran Xiong, Litao Wei, Xinhao Hu, Kehui Ma, Ziyi Xia, Zixin Jiang, Zhen Sun, Ling Pei
 View PDF
Audio-VLA: Adding Contact Audio Perception to Vision-Language-Action Model for Robotic Manipulation AI summary
Xiangyi Wei, Haotian Zhang, Xinyi Cao, Siyu Xie, Weifeng Ge, Yang Li, Changbo Wang
 View PDF
Learning to Control the Whole-Body Shape of a Soft Robotic Arm in Unknown Situations AI summary
Zhiqiang Tang, Qianqian WANG, Daniela Rus, Cecilia Laschi
 View PDF
LACY: A Vision-Language Model-Based Language-Action Cycle for Self-Improving Robotic Manipulation AI summary
Youngjin Hong, Houjian Yu, Mingen Li, Changhyun Choi
 View PDF
Social-Qwen: From Individual Nonverbal Cues and Emotion to Multiparty Social Dynamics Understanding with Instruction Tuning AI summary
Tung Nguyen, Jouh Yeong Chew
 View PDF
Exploring Single Domain Generalization of LiDAR-Based Semantic Segmentation under Imperfect Labels AI summary
Weitong Kong, Zichao Zeng, Di Wen, Jiale Wei, Kunyu Peng, June Moh Goo, Jan Boehm, Rainer Stiefelhagen
 View PDF
DAM-VLA: A Dynamic Action Model-Based Vision-Language-Action Framework for Robot Manipulation AI summary
Xiongfeng Peng, Jiaqian Yu, dingzhe li, Yixiang Jin, Lu Xu, Mao Yamin, Chao Zhang, Weiming Li, Sujin Jang, Dongwook Lee, Daehyun Ji
 View PDF
TransDiffuser: Diverse Trajectory Generation with Decorrelated Multi-Modal Representation for End-To-End Autonomous Driving AI summary
Xuefeng Jiang, Yuan Ma, Pengxiang LI, leimeng xu, Xin Wen, Kun Zhan, zhongpu xia, Peng Jia, Xianpeng Lang, Sheng Sun
 View PDF
Uncertainty Guided Exploratory Trajectory Optimization for Sampling-Based Model Predictive Control AI summary
Oguzhan Goktug Poyrazoglu, Yukang Cao, Rahul Moorthy Mahesh, Volkan Isler
 View PDF
Learning on the Fly: Rapid Policy Adaptation Via Differentiable Simulation AI summary
Jiahe Pan, Jiaxu Xing, Rudolf Reiter, Yifan Zhai, Elie Aljalbout, Davide Scaramuzza
 View PDF
Prepare before You Act: Learning from Humans to Rearrange Initial States AI summary
Yinlong Dai, Andre Keyser, Dylan Losey
 View PDF
ROVER - a Multi-Season Dataset for Visual SLAM AI summary
Fabian Schmidt, Julian Daubermann, Marcel Mitschke, Constantin Blessing, Stephan Meyer, Markus Enzweiler, Abhinav Valada
 View PDF
Class-Guided Network with Rare-Class Amplification for Sea State Estimation Based on Ship Motion Data AI summary
Wei Xia, Kexin Wang, Weiwei Tian, Xiufeng Liu, Fan Shi, Xu Cheng
 View PDF
PDLNet: Learning Point Cloud Distortion for Unsupervised Cross-Domain Point Cloud Segmentation in Adverse Weather AI summary
Shuhua Dong, Minxian Li, Haofeng Zhang
 View PDF
ECAHD: Efficient Collision-Aware Hierarchical Diffusion Navigation AI summary
Jinu Pahk, Theo Taeyeong Kim, Jun Ki Lee, Byoung-Tak Zhang
 View PDF
RAVEN: Resilient Aerial Navigation via Open-Set Semantic Memory and Behavior Adaptation AI summary
Seungchan Kim, Omar Alama, Dmytro Kurdydyk, John Keller, Nikhil Varma Keetha, Wenshan Wang, Yonatan Bisk, Sebastian Scherer
 View PDF
Tiny-DroNeRF: Tiny Neural Radiance Fields Aboard Federated Learning-Enabled Nano-Drones AI summary
Ilenia Carboni, Elia Cereda, Lorenzo Lamberti, Daniele Malpetti, Francesco Conti, Daniele Palossi
 View PDF
TaSA: Two-Phased Deep Predictive Learning of Tactile Sensory Attenuation for Improving In-Grasp Manipulation AI summary
Pranav Ponnivalavan, Satoshi Funabashi, Alexander Schmitz, Tetsuya Ogata, Shigeki Sugano
 View PDF
GaussianVLM: Scene-Centric 3D Vision-Language Models Using Language-Aligned Gaussian Splats for Embodied Reasoning and Beyond AI summary
Anna-Maria Halacheva, Jan-Nico Zaech, Xi Wang, Danda Pani Paudel, Luc Van Gool
 View PDF
Should I Replan? Learning to Spot the Right Time in Robust MAPF Execution AI summary
David Zahr ́adka,, David Woller, Denisa Muˇz ́ıkov ́a,, Miroslav Kulich and Libor Pˇreuˇcil
 View PDF
Humanoid Everyday: A Comprehensive Robotic Dataset for Open-World Humanoid Manipulation AI summary
Zhenyu Zhao, Hongyi Jing, Xiawei Liu, Jiageng Mao, Abha Jha, Hanwen Yang, Rong Xue, Sergey Zakharov, Vitor Guizilini, YUE WANG
 View PDF
ForestVO: Enhancing Visual Odometry in Forest Environments through ForestGlue AI summary
Thomas Pritchard, Saifullah Ijaz, Ronald Clark, Basaran Bahadir Kocer
 View PDF
Understanding Lidar Variability: A Dataset and Comparative Study Featuring Dome-Shaped, Solid-State, and Spinning Lidars AI summary
Mawuto Koudjo Felix Doumegna, Xianjia Yu, Jiaqiang Zhang, Sier Ha, Zhuo Zou, Tomi Westerlund
 View PDF
UniFField: A Generalizable Unified Neural Feature Field for Visual, Semantic, and Spatial Uncertainties in Any Scene AI summary
Christian Maurer, Snehal Jauhri, Sophie Lueth, Georgia Chalvatzaki
 View PDF
S-Graphs 2.0 � a Hierarchical-Semantic Optimization and Loop Closure for SLAM AI summary
Hriday Bavle, Jose Luis Sanchez-Lopez, Muhammad Shaheer, Javier Civera, Holger Voos
 View PDF
Modular Acoustic Graph SLAM for Underwater Monitoring with Autonomous Underwater Vehicles AI summary
Marta Real, Pau Vial, Roger Pi, Narcis Palomeras, Marc Carreras
 View PDF
The Better You Learn, the Smarter You Prune: Towards Efficient Vision-Language-Action Models Via Differentiable Token Pruning AI summary
Titong Jiang, Xuefeng Jiang, Yuan Ma, Xin Wen, Bailin Li, Kun Zhan, Peng Jia, Yahui Liu, Sheng Sun, Xianpeng Lang
 View PDF
DPWM: Autonomous Exploration Via Diffusion-Based Map Prediction Guided Planning AI summary
Zemei Jia, Peng Qi, Xiaoxiang Liu, Zhihao Yao, Liang Li
 View PDF
Analytical Stiffness Formulation and Interpretation for Six-DOF Tensegrity Joints Using Screw Theory AI summary
Robbie Monke, Vishesh Vikas
 View PDF
Unified Map Prior Encoder for Mapping and Planning AI summary
Zongzheng Zhang, Sizhe Zou, Guantian Zheng, Zhenxin Zhu, Yu Gao, Guoxuan Chi, Shuo Wang, Yuwen Heng, Zhigang Sun, Yiru Wang, HAO SUN, Chao Ma, ZHEN LI, Anqing Jiang, Hao Zhao
 View PDF
Concurrent-Learning Based Relative Localization in Shape Formation of Robot Swarms AI summary
Jinhu Lv, Kunrui Ze, Shuoyu Yue, Kexin Liu, Wei Wang, Guibin Sun
 View PDF
RoboPacker: An Autonomous Robotic Packing System for General Objects AI summary
Zhenyu Wu, Ziwei Wang, Sichao Huang, Zhan Liu, Xiuwei Xu, Haibin Yan, Jiwen Lu
 View PDF
Grasp Like Humans: Learning Generalizable Multi-Fingered Grasping from Human Proprioceptive Sensorimotor Integration AI summary
Ce Guo, Xieyuanli Chen, Zhiwen Zeng, Zirui Guo, YiHong Li, Haoran Xiao, Dewen Hu, Huimin Lu
 View PDF
Large Pre-Trained Models and Few-Shot Fine-Tuning for Virtual Metrology: A Framework for Uncertainty-Driven Adaptive Process Control in Semiconductor Manufacturing AI summary
Chin-Yi Lin, Tzu-Liang (Bill) Tseng, Solayman Hossain Emon, Tsung-Han Tsai
 View PDF
StereoMamba: Real-Time and Robust Intraoperative Stereo Disparity Estimation via Long-Range Spatial Dependencies AI summary
Xu Wang, Jialang Xu, Shuai Zhang, Baoru Huang, Danail Stoyanov, Evangelos Mazomenos
 View PDF