Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 40 of 58
Title & Authors Actions
Rollbot: A Spherical Robot Driven by a Single Actuator AI summary
Jingxian Wang, Michael Rubenstein
 View PDF
Implicit Maximum Likelihood Estimation for Real-Time Generative Model Predictive Control AI summary
Grayson Lee, Minh Bui, Shuzi Zhou, Yankai Li, Mo Chen, Ke Li
 View PDF
Robotic Exoskeleton with Mechanically Implemented Kinematic Synergy for Quadrupedal Gait of Rats AI summary
Takayuki Miyamoto, Andrey Mikhailov, Modar Hassan, Sandra Puentes, Taichi Hiraga, Hideaki Soya, Kenji Suzuki
 View PDF
Bio-Inspired Liquid Crystal Elastomer Suction Actuator for Intelligent Robotic Grasping AI summary
Shen Gao, Yongzheng Luo, Mingjun Tang, Yue Wang, Tao Yue
 View PDF
Reachable Predictive Control: A Novel Control Algorithm for Nonlinear Systems with Unknown Dynamics and Its Practical Applications AI summary
Taha Shafa, Yiming Meng, Melkior Ornik
 View PDF
Multi-Robot Learning-Informed Task Planning under Uncertainty AI summary
Abhish Khanal, Abhishek Paudel, Hung Pham, Gregory Stein
 View PDF
Toward Efficient and Robust Behavior Models for Multi-Agent Driving Simulation AI summary
Fabian Konstantinidis, Moritz Sackmann, Ulrich Franz Hofmann, Christoph Stiller
 View PDF
Adaptive Legged Locomotion Via Online Learning for Model Predictive Control AI summary
Hongyu Zhou, Xiaoyu Zhang, Vasileios Tzoumas
 View PDF
Non-Contact Tactile Perception in Human-Robot Interaction: Deep Learning-Enhanced Super-Resolution Spatial Sensing AI summary
Shuyao Zhou, Jikai Liang, Zhengjie Zhu, Kong Depeng, Zhiao He, Honghao Lyu, Geng Yang
 View PDF
RAZER: Robust Accelerated Zero-Shot 3D Open-Vocabulary Panoptic Reconstruction with Spatio-Temporal Aggregation AI summary
Naman Patel, Prashanth Krishnamurthy, Farshad Khorrami
 View PDF
Impedance Control Design Framework Using Commutative Map Between SE(3) and se(3) AI summary
Jonghyeok Kim, Minchang Sung, Youngjin Choi, Jonghoon Park, Wan Kyun Chung
 View PDF
Perching-Based Haptic Guidance for Physical Human�Robot Interaction with Aerial Robots AI summary
Ayano Miyamichi, Kei Okada
 View PDF
DMVC-Tracker: Distributed Multi-Agent Trajectory Planning for Target Tracking Using Dynamic Buffered Voronoi and Inter-Visibility Cells AI summary
Yunwoo Lee, Jungwon Park, H. Jin Kim
 View PDF
FW-NKF: Frequency-Weighted Neural Kalman Filters AI summary
Adnan Harun Dogan, Berken Utku Demirel, Christian Holz
 View PDF
Learn to Quantify Social Interaction with Constraints for Pedestrian Walking AI summary
Xiaodan Shi
 View PDF
An Autonomous and Hardware-Agnostic Vision-Servoed System for Microdevice Injection AI summary
Yumin Zheng, Runjia Tan, Rui Jiao, Sunwoo Lee
 View PDF
CAPS: Context-Aware Priority Sampling for Enhanced Imitation Learning in Autonomous Driving AI summary
Hamidreza Mirkhani, Behzad Khamidehi, Ehsan Ahmadi, mohammed elmahgiubi, Weize Zhang, Fazel Arasteh, Umar Rajguru, Kasra Rezaee, Dongfeng Bai
 View PDF
Open-Vocabulary Mobile Manipulation Based on Double Relaxed Contrastive Learning with Dense Labeling AI summary
Daichi Yashima, Ryosuke Korekata, Komei Sugiura
 View PDF
Infinite-Horizon Value Function Approximation for Model Predictive Control AI summary
Armand Jordana, Sebastien Kleff, Arthur Haffemayer, Joaquim Ortiz-Haro, Justin Carpentier, Nicolas Mansard, Ludovic Righetti
 View PDF
MOTOR: A Multimodal Dataset for Two-Wheeler Rider Behavior Understanding AI summary
Varun Paturkar, Shankar Gangisetty, C.V. Jawahar
 View PDF
CRAFT: Long-Horizon Cable Routing Algorithm and Low-Friction Caging Gripper AI summary
Ziyang Chen, Yash Chitambar, Theodore Lam, Hui Li, Sachin Chitta, Ken Goldberg
 View PDF
Diffusion-Based Low-Light Image Enhancement with Color and Luminance Priors AI summary
Xuanshuo Fu, Lei Kang, Javier Vazquez-Corral
 View PDF
Learned IMU Bias Prediction for Invariant Visual Inertial Odometry AI summary
Abdullah Altawaitan, Jason Stanley, Sambaran Ghosal, Thai Duong, Nikolay Atanasov
 View PDF
OpenHEART: Opening Heterogeneous Articulated Objects with a Legged Manipulator AI summary
Seonghyeon Lim, Hyeonwoo Lee, Seunghyun Lee, I Made Aswin Nahrendra, Hyun Myung
 View PDF
T2M Mamba: Motion Periodicity-Saliency Coupling Approach for Stable Text-Driven Motion Generation AI summary
Xingzu Zhan, Chen Xie, Honghang Chen, Yixun Lin, Xiaochun Mai
 View PDF
Multifingered Force-Aware Control for Humanoid Robots AI summary
Pasquale Marra, Gabriele Mario Caddeo, Ugo Pattacini, Lorenzo Natale
 View PDF
GenJAPNet: A Generalizable Joint Angle Prediction Network with Non-Redundant Muscle Synergy Features for Lower-Limb Exoskeletons AI summary
Hairong Zhang, Yu Bai, Kou Ziming, Wu Juan, Pengjie Qin, Fei GAO, Wenze Shang, yue Teng, Dingkui Tian, Xinyu Wu
 View PDF
Force-Guided Collaborative Control and Digital Twin of a Snake Robot for Cranial Bone Surgery AI summary
Adnan Munawar, Thomas Looi,, Eric Diller,, and Dale Podolsky
 View PDF
FineNav: A Versatile Framework Enhancing Ground Robot Navigation in Unstructured Environment AI summary
Jinghui Wang, Chenyang Wang, Yuxuan Cao, Zelong Sun, Wang Xi, Jianping He
 View PDF
Decentralized Admittance Control for a Multi�manipulator System: Theory and Experiments AI summary
Graziano Carriero, Monica Sileo, Sebastiano Fregnan, Francesco Pierri, Fabrizio Caccavale, Yiannis Karayiannidis
 View PDF
LRDDv3: High-Resolution Long-Range Drone Detection Dataset with Range Information and Thermal Data AI summary
Knut Peterson, Zaid Mayers, Md Azmain Yousuf, Priontu Chowdhury, Solmaz Arezoomandan, Asher Julius Zaczepinski, Reihaneh Maarefdoust, David Han
 View PDF
SINGER: An Onboard Generalist Vision-Language Navigation Policy for Drones AI summary
Maximilian Adang, JunEn Low, Ola Shorinwa, Mac Schwager
 View PDF
Hydrodynamic Optimization of a Spherical Amphibious Robot's Paddle-Wheel for Effective Water Surface Locomotion AI summary
View PDF
C^2ROPE: Causal Continuous Rotary Positional Encoding for 3D Large Multimodal-Models Reasoning AI summary
Guanting Ye, Qiyan Zhao, Wenhao Yu, Xiaofeng Zhang, Jianmin Ji, Yanyong Zhang, and Ka-Veng Yuen,∗
 View PDF
Controllable Collision Scenario Generation Via Collision Pattern Prediction AI summary
Pin-Lun Chen, Chi-Hsi Kung, Che-Han Chang, Wei-Chen Chiu, Yi-Ting Chen
 View PDF
Robots That Redesign Themselves through Kinematic Self-Destruction AI summary
Chen Yu, Sam Kriegman
 View PDF
Higher Order Reasoning for Collaborative Communicationless Mobile Robot Operations AI summary
Jonathan Reasoner, Nicola Bezzo
 View PDF
Enhancing Robustness of Locomotion Policy for Quadrupedal Robot with Deep Disturbance Observer AI summary
Fikih Muhamad, Anak Agung Krisna Ananda Kusuma, Jae-Han Park, Jung Su Kim
 View PDF
Unified Neural Gaussian SLAM with Feature Splatting AI summary
Xuyang Tang, Henry Chu, Yuxiang Sun
 View PDF
NavGSim: High-Fidelity Gaussian Splatting Simulator for Large-Scale Navigation AI summary
Jiahang Liu, Yuanxing Duan, Jiazhao Zhang, Minghan Li, Shaoan Wang, Zhizheng Zhang, He Wang
 View PDF
Autoregressive End-To-End Planning with Time-Invariant Spatial Alignment and Multi-Objective Policy Refinement AI summary
Jianbo Zhao, Taiyu Ban, Xiangjie Li, Xingtai Gui, Hangning Zhou, Lei Liu, Zhao Hongwei, Bin Li
 View PDF
UVDtact: UV Marker-Embedded Fingertip-Like Vision-Based Tactile Sensor for Shape Reconstruction and Force Estimation AI summary
Woojong Kim, Won Dong Kim, Hyunkyu Park, Joonho Lee, Jeong-Jung Kim, Jung Kim
 View PDF
Learning Problem Decomposition for Efficient Sequential Multi-Object Manipulation Planning (resubmitted) AI summary
Yan Zhang, Teng Xue, Amirreza Razmjoo, Sylvain Calinon
 View PDF
CareBot-H: Enhancing Patient Transfer with Biomimetic Design and Trajectory Deformation Algorithm AI summary
Deliang Zhu, Peizheng Li, Chunlei Meng, Jiexin Xie, Yang Li, Shijie Guo
 View PDF
AINav: Large Language Model-Based Adaptive Interactive Navigation AI summary
Kangjie Zhou, Yao Mu, Haoyang Song, Yi Zeng, Pengying Wu, Han Gao, Chang Liu
 View PDF
ERPoT: Effective and Reliable Pose Tracking for Mobile Robots Using Lightweight Polygon Maps AI summary
Haiming Gao, Qibo Qiu, Hongyan Liu, Dingkun Liang, Chaoqun Wang, Xuebo Zhang
 View PDF
VLA-Reasoner: Empowering Vision-Language-Action Models with Reasoning Via Online Monte Carlo Tree Search AI summary
[email protected], [email protected]
 View PDF
SCOOP'D: Learning Mixed-Liquid-Solid Scooping via Sim2Real Generative Policy AI summary
Kuanning Wang, Yongchong Gu, Yuqian Fu, Zeyu Shangguan, Sicheng He, Xiangyang Xue, Yanwei Fu, Daniel Seita
 View PDF
Scalable Multi-Agent Reinforcement Learning Framework for Multi-Machine Tending AI summary
Abdalwhab Bakheet Mohamed Abdalwhab, Giovanni Beltrame, David St-Onge
 View PDF
Global End-Effector Pose Control of an Underactuated Aerial Manipulator via Reinforcement Learning AI summary
Shlok Deshmukh, Javier Alonso-Mora, Sihao Sun
 View PDF