Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 42 of 58
Title & Authors Actions
Parallel Heuristic Search As Inference for Actor-Critic Reinforcement Learning Models AI summary
Hanlan Yang, Itamar Mishani, Luca Pivetti, Zachary Kingston, Maxim Likhachev
 View PDF
AugVLA-3D: Depth-Driven Feature Augmentation for Vision-Language-Action Models AI summary
Zhifeng Rao,∗, Wenlong Chen∗, Lei Xie, Xia Hua, Dongfu Yin, Zhen Tian, F. Richard Yu
 View PDF
STAGE: STyle-Controllable Action GEneration for Personalized Autonomous Driving AI summary
Zihao Liu, Xing Liu, Yizhai Zhang, Panfeng Huang
 View PDF
MUJICA: Multi-Skill Unified Joint Integration of Control Architecture for Wheeled-Legged Robots AI summary
Yuqi LI, Peng Zhai, Yueqi ZHang, Xiaoyi Wei, Quancheng Qian, Zhengxu He, Qianxiang Yu, Lihua ZHang
 View PDF
Factorizing Diffusion Policies for Observation Modality Prioritization AI summary
Omkar Deepak Patil, Prabin Kumar Rath, Kartikay Milind Pangaonkar, Eric Rosen, Nakul Gopalan
 View PDF
Puzzle Piece Robots: Inverse-Designed Shape-Morphing Docking for Spherically Reconfigurable Soft Robots AI summary
Justin Conzola, Vishesh Vikas
 View PDF
Simplified Fabrication and Open-Loop Control of an Electromagnetic Insect-Scale Terrestrial Robot AI summary
Julie Villamil, Yaochen Li, Jack Long, Michael Karpelson, E. Farrell Helbling
 View PDF
Monorail-Like Gripper System with Dynamic and Modular Reconfiguration for Diverse Finger Layouts AI summary
Haruki Ikeda, Kazuki Higashi, Osamu Fukuda, Mitsuru Higashimori
 View PDF
Data-Efficient Constrained Robot Learning with Probabilistic Lagrangian Control AI summary
Shiming He, Yuzhe Ding
 View PDF
Distributed Multi-Robot Active-Sensing of a Diffusive Source AI summary
Francesca Pagano, Nicola De Carli, Esteban Restrepo, Antonio Marino, Paolo Robuffo Giordano
 View PDF
Image-Level Domain Alignment for Real-Time Underwater Crack Detection Using YOLO with an ROV AI summary
Pachelle Carelle Negue Kala, Christophe Viel, Lucia Bergantin
 View PDF
Aerial Manipulation with Contact-Aware Onboard Perception and Hybrid Control AI summary
Yuanzhu Zhan, Yufei Jiang, Muqing Cao, Junyi Geng
 View PDF
Generate, Transfer, Adapt: Learning Functional Dexterous Grasping from a Single Human Demonstration AI summary
Xingyi He, Adhitya Polavaram, Yunhao Cao, Om Deshmukh, Tianrui Wang, Xiaowei Zhou, Kuan Fang
 View PDF
Agile Collision Avoidance for Deformable-Tethered Multi-Robot Systems Via Zone-Aware Hierarchical Learning and VLM-Guided Control AI summary
Zeyu Zhou, Jingwei Zhang, Hui Zhi, Yun Hao, Wei Tang, David Navarro-Alarcon
 View PDF
Ultra-Low-Impedance Robotic Gripper for High-Bandwidth and Transparent Physical Interaction AI summary
Joon Lee, Ari Choi, Seokhwan Jeong
 View PDF
Geometric Correction of Underwater Forward Looking Sonar-Based 3-D Reconstruction Via PS-Based Slope Pattern Interpretation Using AUV AI summary
Seungwon Ham, Bonchul Ku, Young-woon Song, Jason Kim, You hyun Jang, WOOJIN SEOL, Son-Cheol Yu
 View PDF
EXOM: An Excavator Operation Monitoring Framework with Onboard Vision and Sensor Data AI summary
Seok-Kyu Kang, Seong-Gye Lee, Gye-Bong Jang
 View PDF
KeySG: Hierarchical Keyframe-Based 3D Scene Graphs AI summary
Abdelrhman Werby, Dennis Rotondi, Fabio Scaparro, Kai Oliver Arras
 View PDF
Control of Humanoid Robots with Parallel Mechanisms Using Differential Actuation Models AI summary
Victor Lutz, Ludovic De Matteïs, Virgile BATTO, Nicolas Mansard
 View PDF
Risk-Aware and Scalable Hierarchical Motion Planning for Large-Scale Robotic Swarms Via CVaR-Constrained MPC AI summary
Xuru Yang, Yuqiao Zhao, Yunze Hu, Zongru Yang, Pingping Zhu, Ying Sun, Chang Liu
 View PDF
Optimization of Preemptive Impact Mitigation without Prior Collision Testing AI summary
Hayato Nakamura, Hikaru Arita, Shunsuke Tokiwa, Kenji Tahara
 View PDF
Reward Evolution with Graph-Of-Thoughts: A Bi-Level Language Model Framework for Reinforcement Learning AI summary
Changwei Yao, Xinzi Liu, Chen Li, Marios Savvides
 View PDF
ID(O): Mapping Data Quantization for Bathymetric Collaborative SLAM AI summary
Qianyi Zhang, Jinwhan Kim
 View PDF
A Novel Tilting Mechanism for Personal Mobility Robot Platform: Mathematical Modeling and HILS-Based Control Verification AI summary
Sunyeop Lee, Wonchang Yang, Yongseob Lim, Kanghyun Nam
 View PDF
MIMIC-D: Multi-Modal Imitation for MultI-Agent Coordination with Decentralized Diffusion Policies AI summary
Dayi, E Dong, Maulik Bhatt, Seoyeon Choi, Negar Mehr
 View PDF
Towards Learning Boulder Excavation with Hydraulic Excavators AI summary
Jonas Gruetter, Lorenzo Terenzi, Pascal Arturo Egli, Marco Hutter
 View PDF
T2S: Tokenized Skill Scaling for Lifelong Imitation Learning AI summary
Hongquan Zhang, Jingyu Gong, Zhang Zhizhong, Xin TAN, Yuan Xie
 View PDF
Learning to Drift with Individual Wheel Drive: Maneuvering Autonomous Vehicle at the Handling Limits AI summary
Yihan Zhou, Yiwen Lu, Bo Yang, Jiayun Li, Yilin Mo
 View PDF
NDO-Based Dual Quaternion Control of a Drone with a Cable-suspended Load AI summary
Yuxia Yuan, Junjie Kang, Jinjun Shan, Markus Ryll
 View PDF
PAPRLE (Plug-And-Play Robotic Limb Environment): A Modular Ecosystem for Robotic Limbs AI summary
Obin Kwon, Sankalp Yamsani, Noboru Myers, Sean Taylor, Jooyoung Hong, Kyungseo Park, Alex Alspach, Joohyung Kim
 View PDF
A New Repetitive Control Framework for Robot Manipulators: Optimal Controller Design and Stability Analysis AI summary
Geun Il Song, Dohyeok Kwak, Taewan Kim, Oe Ryung Kang, Jung Hoon Kim, Wookyong Kwon
 View PDF
Overlapping Domain Decomposition for Distributed Pose Graph Optimization AI summary
Aneesa Sonawalla, Yulun Tian, Jonathan How
 View PDF
Symmetry-Aware Fusion of Vision and Tactile Sensing Via Bilateral Force Priors for Robotic Manipulation AI summary
Wonju Lee, Matteo Grimaldi, Tao Yu
 View PDF
Structured Labeling Enables Faster Vision-Language Models for End-To-End Autonomous Driving AI summary
Hao Jiang, Chuan Hu, Yukang Shi, Yuan He, Ke Wang, Xi Zhang, Zhipeng Zhang
 View PDF
INTACT-GRIP: An Inflatable Tactile Gripper for Soft Manipulation and High-Resolution Texture Mapping AI summary
Ozdemir Can Kara, Mohammad Rafiee Javazm, Omid Rezayof, Farshid Alambeigi
 View PDF
Design and Validation of a Soft Self-Centering Gripper for Delicate Object Handling AI summary
Xiaoqian Zhang, Mario Baggetta, Cristina Piazza, Giovanni Berselli
 View PDF
Re-MAE: Rethinking Masked Autoencoders towards Geometry-Aware Self-Supervised LiDAR-Based 3D Object Detection AI summary
Youngho Cheon, Jae-Keun Lee, Soon Kwon, Jin-Hee Lee, Yongseob Lim
 View PDF
OVITA: Open-Vocabulary Interpretable Trajectory Adaptations AI summary
Anurag Maurya, TASHMOY GHOSH, Anh Nguyen, Ravi Prakash
 View PDF
OccTENS: 3D Occupancy World Model Via Temporal Next-Scale Prediction AI summary
Bu Jin, Songen Gu, Xiaotao Hu, Yupeng Zheng, Xiaoyang Guo, Qian Zhang, Xiaoxiao Long, Wei Yin
 View PDF
Time-Aware Assistive Navigation AI summary
Zhongkai Shangguan, Masaki Kuribayashi, Eshed Ohn-Bar
 View PDF
Bioinspired Kirigami Capsule Robot for Minimally Invasive Gastrointestinal Biopsy AI summary
Raymond Shing-Yan Tang, and Hongliang Ren,∗
 View PDF
Sampling-Aware Multi-Rate Combined Control for an Orbital Manipulator AI summary
Ria Vijayan, Marco De Stefano, Christian Ott
 View PDF
Wearable, Fabric-Embedded Acoustic Waveguides for Meter-Scale Contact Localization and Force Sensing AI summary
Wilfred Mason, JAD ASHKAR, David Brenken, Audrey Sedal
 View PDF
R-FAC: Resilient Value Function Factorization for Multi-Robot Efficient Search with Individual Failure Probabilities AI summary
Hongliang Guo, Qi Kang, Wei-Yun Yau, Chee-Meng Chew, Daniela Rus
 View PDF
PolygMap: A Perceptive Locomotion Framework for Humanoid Robot Stair Climbing AI summary
Bingquan Li, Ning Wang, Zhicheng He, Yucong Wu, Tianwei Zhang
 View PDF
Human Insights Driven Latent Space for Different Driving Perspectives: A Unified Encoder for Efficient Multi-Task Inference AI summary
Huy Dung Nguyen, Anass Bairouk, Mirjana Maras, Wei Xiao, Tsun-Hsuan Wang, Patrick Chareyre, Ramin Hasani, Marc Blanchon, Daniela Rus
 View PDF
Autonomous Exploration for Shape Reconstruction and Measurement Via Informative Contact-Guided Planning AI summary
Feiyu Zhao, Chenxi Xiao
 View PDF
HITTER: A HumanoId Table TEnnis Robot Via Hierarchical Planning and Learning AI summary
Zhi Su, Bike Zhang, Nima Abraham Rahmanian, Yuman Gao, Qiayuan Liao, Caitlin Regan, Koushil Sreenath, Shankar Sastry
 View PDF
Explaining Failures of Cyber-Physical Systems with Actual Causality AI summary
Khen Elimelech, Tom Yaacov, David A. Kelly, Hana Chockler, Moshe Y. Vardi
 View PDF
Muscle Fatigue-Aware Controller for a Semi-Rigid Knee Exoskeleton AI summary
Yifang Zhang, Jingcheng Jiang, Arash Ajoudani, Nikos Tsagarakis
 View PDF