Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 44 of 58
Title & Authors Actions
A Dual-Field Framework for Urban Low-Altitude UAV Traffic Planning and Management AI summary
Zhaoqi Dong, Lei Chen
 View PDF
Iterative Learning-Based Centre-Of-Mass Impedance Control for Articulated-Soft Humanoid Robots AI summary
Yibin Wang, Lin Zhou, Sacha Morris, Shan Luo, Emmanouil Spyrakos-Papastavridis
 View PDF
Spatio-Temporal Motion Retargeting for Quadruped Robots AI summary
Taerim Yoon, Dongho Kang, Seungmin Kim, Jin Cheng, Min Sung Ahn, Stelian Coros, Sungjoon Choi
 View PDF
Unified Meta-Representation and Feedback Calibration for General Disturbance Estimation AI summary
Zihan Yang, Jindou Jia, Meng Wang, Yuhang Liu, Kexin Guo, Xiang Yu
 View PDF
Transformer-Based Hierarchical Reinforcement Learning for Sequential Decision-Making in Swarm Confrontation AI summary
Ruozhai Sun, Qizhen Wu, Lei Chen
 View PDF
Action-Informed Estimation and Planning: Clearing Clutter on Staircases Via Quadrupedal Pedipulation AI summary
Prasanna Sriganesh, Barathkrishna Satheeshkumar, Anushree Bapusaheb Sabnis, Matthew Travers
 View PDF
ILeSiA: Interactive Learning of Robot Situational Awareness from Camera Input AI summary
Petr Vanc, Giovanni Franzese, Jan Kristof Behrens, Cosimo Della Santina, Karla Stepanova, Jens Kober, Robert Babuska
 View PDF
TransforMARS: Fault-Tolerant Self-Reconfiguration for Arbitrary-Shaped Modular Aerial Robot Systems AI summary
Rui Huang, Zhiyu Gao, Siyu Tang, jialin zhang, Lei He, Ziqian Zhang, Lin Zhao
 View PDF
Energy-Based Auto-Tuning of Velocity Flow Controller for Exoskeleton-User Speed Synchronization AI summary
Lyndon Tang, Bhavya Giri Goswami, Atusa Ghorbani Siavashani, John McPhee, Rezvan Nasiri, Arash Arami
 View PDF
Sce2DriveX: A Generalized MLLM Framework for Scene-To-Drive Learning AI summary
Zhao Rui, Yuan Qirui, li jinyu, Hu Haofeng, Li Yun, Gao Zhenhai, Gao Fei
 View PDF
Learning to Drive by Imitating Surrounding Vehicles AI summary
Yasin Sonmez, Hanna Krasowski, Murat Arcak
 View PDF
Learning-Guided Force-Feedback Model Predictive Control with Obstacle Avoidance for Robotic Deburring AI summary
Krzysztof Wojciechowski, Ege Gursoy, Arthur Haffemayer, Sebastien Kleff, Vincent Bonnet, Florent Lamiraux, Nicolas Mansard
 View PDF
ForSim: Stepwise Forward Simulation for Traffic Policy Fine-Tuning AI summary
Keyu Chen, Wenchao Sun, Hao Cheng, Zheng Fu, Sifa Zheng
 View PDF
Active-Perceptive Language-Oriented Grasp Policy for Heavily Cluttered Scenes AI summary
Yixiang Dai, Siang Chen, Kaiqin Yang, Dingchang Hu, Pengwei Xie, Guosheng Li, Yuan Shen, Guijin Wang
 View PDF
Transformer Driven Visual Servoing for Fabric Texture Matching Using Dual-Arm Manipulator AI summary
Fuyuki Tokuda, Akira Seino, Akinari Kobayashi, KAI TANG, Kazuhiro Kosuge
 View PDF
Gotta Scoop 'Em All: Sim-And-Real Co-Training of Graph-Based Neural Dynamics for Long-Horizon Scooping AI summary
Kaiwen Hong, Haonan Chen, Jiaming Xu, Runxuan Wang, Kaylan Wang, Mingtong Zhang, Shuijing Liu, Yifan Zhu, Yunzhu Li, Katherine Driggs-Campbell
 View PDF
Two-Time-Scale Composite Learning Online Identification and Control for Compliant-Joint Robots AI summary
Tian Shi, Lin Liu, Qian Wang, Jinya Su, Shihua Li, Yongping Pan
 View PDF
Vision-Centric 4D Occupancy Forecasting and Planning Via Implicit Residual World Models AI summary
Jianbiao Mei, Yu Yang, Xuemeng Yang, Licheng Wen, Jiajun Lv, Botian Shi, Yong Liu
 View PDF
Knee-Inspired Hinge Absorbs Longitudinal Impacts to Enhance Robot-Environment Interaction Safety AI summary
Lianxin Yang, Xinyan Li, Tianyu Zhao, Zhihua Zhao
 View PDF
Online Velocity Estimation of a Robotic Fish Using Artificial Lateral Line System with Velocity-Decoupling Sensing Ability AI summary
Jiarui He, Yan Zhou, Chengqian Zhang, Huangzhe Dai, Daofan Tang, Chengfeng Pan, Peng Zhao
 View PDF
Impact-Robust Posture Optimization for Aerial Manipulation AI summary
Amr Afifi, Ahmad Gazar, Javier Alonso-Mora, Paolo Robuffo Giordano, Antonio Franchi
 View PDF
Consensus Driven Dynamical Systems Control for Dual-Arm Handover AI summary
Debojit Das, Siddhi Jain, Rajesh Kumar, Harish Palanthandalam-Madapusi
 View PDF
Inference-Stage Adaptation-Projection Strategy Adapts Diffusion Policy to Cross-Manipulators Scenarios AI summary
Xiangtong Yao, Yirui Zhou, Yuan Meng, Yanwen Liu, Liangyu Dong, Zitao Zhang, Zhenshan Bing, Kai Huang, Fuchun Sun, Alois Knoll
 View PDF
Traversability-Aware Legged Navigation by Learning from Real-World Visual Data AI summary
Hongbo Zhang, Zhongyu Li, Xuanqi Zeng, Laura Smith, Kyle Stachowicz, Dhruv Shah, Linzhu Yue, Zhitao Song, Weipeng Xia, Sergey Levine, Koushil Sreenath, Yunhui Liu
 View PDF
L-BIRD: Lightweight Bio-Inspired Rotary-Wing Drone AI summary
Xuwen Guo, Mingxuan Zhu, Yinghong Tian
 View PDF
Replicating Painting Strokes: Shape Aware Dynamic Motion Primitives for Robotic Manipulation AI summary
Jelena Vuleti ́c, Pero Drobac, Bruno Mari ́c and Matko Orsag
 View PDF
UniVideo: Universal Monocular Video Understanding AI summary
Yawen Lu, Zhiwen Cao, wei-an Lin, Ratheesh Kalarot
 View PDF
Collaborative Exploration with a Marsupial Ground-Aerial Robot Team through Task-Driven Map Compression AI summary
Angelos Zacharia, Mihir Rahul Dharmadhikari, Kostas Alexis
 View PDF
Bootstrapping Self-Supervised Learning of Binary Classification Using Error Bounds: A Case Study on a Robotic Insertion Task AI summary
Zebin Duan, Norbert Krüger, Juan Heredia, Thorbjørn Mosekjær Iversen, Frederik Hagelskjær
 View PDF
Towards Human-Like Table Tennis Serving: Preliminary Exploration with Simplified Serving Motion Using an Industrial Robotic Manipulator in NVIDIA Isaac Sim AI summary
Po-Chuan Chiou, Jing-Chen Hong
 View PDF
Have We Scene It All? Scene Graph-Aware Deep Point Cloud Compression AI summary
Nikolaos Stathoulopoulos, Christoforos Kanellakis, George Nikolakopoulos
 View PDF
Platform-Agnostic Reinforcement Learning Framework for Safe Exploration of Cluttered Environments with Graph Attention AI summary
Gabriele Calzolari, Vidya Sumathy, Christoforos Kanellakis, George Nikolakopoulos
 View PDF
PACER: Preference-Conditioned All-Terrain Costmap Generation AI summary
Luisa Mao, Garrett Warnell, Peter Stone, Joydeep Biswas
 View PDF
Time-Division Multimodal Tactile Perception for Physical AI and Robotic Hands AI summary
Dohyung Kim, Kyun Kyu Kim, Junhyuk Bang, Seung Hwan Ko
 View PDF
MULE � Multi-Terrain and Unknown Load Adaptation for Effective Quadrupedal Locomotion AI summary
Vamshi Kumar Kurva, Shishir Kolathaya
 View PDF
RetoVLA: Reusing Register Tokens for Spatial Reasoning in Vision-Language-Action Models AI summary
Jiyeon Koo, Taewan Cho, Hyunjoon Kang, Eunseom Pyo, Taegyun Oh, Taeryang Kim, Andrew Jaeyong Choi
 View PDF
ES-HPC-MPC: Exponentially Stable Hybrid Perception Constrained MPC for Quadrotor with Suspended Payloads AI summary
Luis F. Recalde, Mrunal Sarvaiya, Giuseppe Loianno, Guanrui Li
 View PDF
A Generalizable Physics-Guided Causal Model for Trajectory Prediction in Autonomous Driving AI summary
Zhenyu Zong, Yuchen Wang, Haohong Lin, Lu Gan, Huajie Shao
 View PDF
Offline Reinforced Finetuning for Chunk-Based VLA Via Real-World RL Policy Distillation with Vision-Guided Copilot AI summary
human efforts.
 View PDF
Generalized Momenta-Based Koopman Formalism for Robust Control of Euler-Lagrangian Systems AI summary
Rajpal Singh, Aditya Singh, Chidre Shravista Kashyap, Jishnu Keshavan
 View PDF
Manifold Geometry-Based Feature Decoupling for Endoscopic Image Analysis AI summary
Yan Wen, Haodong Wang, Lingyu Chen, Wenbo She, Dingpei Han, Fang Chen, Tianqi Huang,∗
 View PDF
Human2Nav: Learning Crowd Navigation from Human Videos across Robots Via Feasibility-Guided Flow Matching AI summary
Shenghong Zhang, JunJie Chen, Sichi Yan, Yutong Ban, Xiao Li
 View PDF
ORN-CBF: Learning Observation-Conditioned Residual Neural Control Barrier Functions Via Hypernetworks AI summary
Bojan Derajic, Sebastian Bernhard, Wolfgang Hoenig
 View PDF
Harmonising Safety Paradigms: Energy-Aware Control of Active Response and Passive Compliance for Safety-Critical Robotic Tasks AI summary
Xinyuan Zhao, Wenyu Liang, Junyuan Xue, Yan Wu
 View PDF
Exploring Haptic Augmentation and Language Design for Smartphone-Based Teleoperation AI summary
Zachary Andrew Christopher Baylis, Ziling Chen, Rolando Bautista Montesano, Yeo Jung Yoon, Thomas Bohné, Slawomir Konrad Tadeja, John Liu
 View PDF
Failing Gracefully: Mitigating Impact of Inevitable Robot Failures AI summary
Duc Nguyen, Saad Abdul Ghani, Andrew Marshall, Allison Andreyev, Gregory Stein, Xuesu Xiao
 View PDF
UniUncer: Unified Dynamic�Static Uncertainty for End-To-End Driving AI summary
Yu Gao, Jijun Wang, Zongzheng Zhang, Anqing Jiang, Yiru Wang, Yuwen Heng, Shuo Wang, HAO SUN, Zhangfeng Hu, Hao Zhao
 View PDF
M2G-Net: Multimodal Mutual-Guidance Network for LiDAR Depth and Intensity Completion AI summary
Donghyun Choi, Sangmin Lee, Jee-Hwan Ryu
 View PDF
Stowable Tape Spring Truss Leg for Robotic Mobility AI summary
Angelica Peña, Andrew Galassi, Hannah S. Stuart
 View PDF
Active Dynamic Load Adaptation for Quadruped Locomotion on Complex Terrain AI summary
Yimin Xiao, Dianzhong Li, Wangjun Huang, Ying Sha, Li Qin
 View PDF