Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 48 of 58
Title & Authors Actions
NeuroLiDAR: Adaptive Frame Rate Depth Sensing Via Neuromorphic Event-LiDAR Fusion AI summary
Darshana Rathnayake, Dulanga Kaveesha Weerakoon Weerakoon Mudiyanselage, Meera Radhakrishnan, Archan Misra
 View PDF
MMD-OPT : Maximum Mean Discrepancy Based Sample Efficient Collision Risk Minimization for Autonomous Driving AI summary
Basant Sharma, Arun Kumar Singh
 View PDF
A Gripper with Extreme Stiffness Anisotropy for High-Speed Handling of Fragile Foods AI summary
Zhongkui Wang, Mutsuhito Sato, Hikaru Arita, Yoshiki Mori, Sadao Kawamura, Mengyao Liu
 View PDF
Depth Transfer: Learning to See Like a Simulator for Real-World Drone Navigation AI summary
Hang Yu, Christophe De Wagter, Guido de Croon
 View PDF
Safe and Efficient Quadrupedal Locomotion with a Chambolle-Pock Whole-Body Controller AI summary
Xu Yang, Run Wang, Yiwen Lu, Yilin Mo
 View PDF
A Continuum Robot with Programmable Tendon Routing for Desired Curve Generation AI summary
Kehong Zhou, Lifeng Zhu, Jinfeng Wu, Yurui Wen, Aiguo Song, Jessica Zhang
 View PDF
Imagine2Act: Leveraging Object-Action Motion Consistency from Imagined Goals for Robotic Manipulation AI summary
Liang Heng, Jiadong XU, Yiwen Wang, Xiaoqi Li, Muhe Cai, Yan Shen, Juan Zhu, Guanghui Ren, Hao Dong
 View PDF
Probabilistic Topological Map Inference with Belief Propagation AI summary
Houzhe Wang, Jingqi Jiang, Shida Xu, Eric Yeatman, Sen Wang
 View PDF
Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime AI summary
Luzia Knoedler, Oswin So, Ji Yin, Mitchell Black, Zachary Serlin, Panagiotis Tsiotras, Javier Alonso-Mora, Chuchu Fan
 View PDF
Touch with Insight: Physics-Aware Data-Driven Learning for EIT-Based Tactile Sensing AI summary
Kiyanoush Nazari, Yunqi Huang, David Hardman, Fumiya Iida, Thomas George Thuruthel
 View PDF
Physically-Based Lighting Generation for Robotic Manipulation AI summary
Shutong Jin, Lezhong Wang, Ben Temming, Florian T. Pokorny
 View PDF
OCLPlace: Online Continual Learning on LiDAR Streams for Place Recognition AI summary
BinHong Liu, Kaixiao Ye, YangWang Fang, Zhi Yan, Tao Yang
 View PDF
SM-NMPC: Sliding Mode-Based Nonlinear Model Predictive Control for UAVs under Degraded Motor on Microcontrollers AI summary
Van Chung Nguyen, An Nguyen, Pratik Walunj, Chuong Le, Hung La
 View PDF
Instrumentation for Imitation Learning: Enhancing Training Datasets for Clothes Hanger Insertion AI summary
Remko Proesmans, Thomas Lips, Francis wyffels
 View PDF
SiLVR: Scalable Lidar-Visual Radiance Field Reconstruction with Uncertainty Quantification AI summary
Yifu Tao, Maurice Fallon
 View PDF
Mixed-Initiative Dialog for Human-Robot Collaborative Manipulation AI summary
Albert Yu, Chengshu Li, Luca Macesanu, Arnav Balaji, Ruchira Ray, Raymond Mooney, Roberto Martín-Martín
 View PDF
FusionGS-SLAM: Multiple Sensors Fusion for Simultaneous Localization and Real-Time Photorealistic Mapping AI summary
Thanh-Danh Phan, Gon-Woo Kim
 View PDF
GIFT: Geometry-Induced Functional Transfer for Category-Level Object Manipulation AI summary
Cristiana de Farias, Luis Figueredo, Riddhiman Laha, Komlan Jean Maxime Adjigble, Brahim TAMADAZTE, Rustam Stolkin, Sami Haddadin, Naresh Marturi
 View PDF
ManiMorph: Object Representations in Robot Manipulators Morphology for Improving Multi-Task Manipulation Performance AI summary
Ali Abdalla, Michael Przystupa, Xinrui Zu, Kevin Sebastian Luck, Glen Berseth
 View PDF
Compose by Focus: Scene Graph-Based Atomic Skills AI summary
Han Qi, Changhe Chen, HENG YANG
 View PDF
Latent Action Diffusion for Cross-Embodiment Manipulation AI summary
Erik Bauer, Elvis Nava, Robert K. Katzschmann
 View PDF
DYMO-Hair: Generalizable Volumetric Dynamics Modeling for Robot Hair Manipulation AI summary
Chengyang Zhao, Uksang Yoo, Arkadeep Narayan Chaudhury, Giljoo Nam, Jonathan Francis, Jeffrey Ichnowski, Jean Oh
 View PDF
Motion-Specific Battery Health Assessment for Quadrotors Using High-Fidelity Battery Models AI summary
Joonhee Kim, Sanghyun Park, Donghyeong Kim, Eunseon Choi, Soohee Han
 View PDF
KoopCast: Trajectory Forecasting Via Koopman Operators AI summary
Jungjin Lee, Jaeuk Shin, Gihwan Kim, Joon Ho Han, Insoon Yang
 View PDF
Multi-Robot Segregation Using Finite-Time MPC with Chernoff Bound-Based Asynchronous Motion Smoothing AI summary
Richa Dubey, Shreyash Gupta, Saurabh Chaudhary, Niladri Sekhar Tripathy, Suril Vijaykumar Shah
 View PDF
High-Bandwidth Tactile-Reactive Control for Grasp Adjustment AI summary
Yonghyeon Lee, Tzu-Yuan Lin, Alexander Alexiev, Sangbae Kim
 View PDF
Design of a Hydraulic-Driven Adaptive Gripper with a Novel Actuation Mechanism AI summary
Yonghwan Jeong, Jungyeong Kim, SangChul Han, Sungwoon Yoon, Sungho Lee, Sangshin Park, Jin Tak Kim, Jinhyeon Kim, Jungsan Cho
 View PDF
Zero-Shot Sim2Real Transfer for Magnet-Based Tactile Sensor on Insertion Tasks AI summary
Beining Han, Abhishek Joshi, Jia Deng
 View PDF
Active Learning Design: Modeling Force Output for Axisymmetric Soft Pneumatic Actuators AI summary
Gregory Campbell, Gentian Muhaxheri, Leonardo Ferreira Guilhoto, Christian Santangelo, Paris Perdikaris, James Pikul, Mark Yim
 View PDF
Receding Horizon Control for Signal Temporal Logic Using Robustness-Conserving Partial Formula Evaluation AI summary
Roland Ilyes, Lara Brudermüller, Nick Hawes, Bruno Lacerda
 View PDF
Connectivity-Aware Representations for Constrained Motion Planning Via Multi-Scale Contrastive Learning AI summary
Suhyun Jeon, Yumin Lim, Woo-Jeong Baek, Hyeonseo Kim, Suhan Park, Jaeheung Park
 View PDF
DiffRP: Diffusion-Driven Promising Region Prediction for Sampling-Based Path Planning AI summary
zongwu Xie, Yiming Ji, Yang Liu, Yiqian Xie, Zhengpu Wang, Boyu Ma, BAOSHI CAO
 View PDF
GDP: Enhancing End-To-End Autonomous Driving with Goal-Driven Planner AI summary
Qiming Zhang, Yue Zhao, Yujian Wang, Wei Wang, Zetong Yang, Wei Xu, Yin Zhou, Jun Ma
 View PDF
Dual-Layer PIBT for Lifelong Multi-Agent Pathfinding with Narrow Passages AI summary
Zhenyu Song, Ronghao Zheng, Meiqin Liu, Senlin Zhang
 View PDF
Efficiently Learning Robust Torque-Based Locomotion through Reinforcement with Model-Based Supervision AI summary
Yashuai Yan, Tobias Egle, Christian Ott, Dongheui Lee
 View PDF
ExpReS-VLA: Specializing Vision-Language-Action Models through Experience Replay and Retrieval AI summary
Shahram Najam Syed, Yatharth Ahuja, Arthur Jakobsson, Jeffrey Ichnowski
 View PDF
Reactive Whole-Body Control of Mobile Manipulators for Dynamic Target Tracking Via Adaptive-Predictive Visual Servoing AI summary
Andrea Monguzzi, Giuseppe Alfonso, Navvab Kashiri
 View PDF
Unsupervised Domain Adaptation for Robust Imitation Learning under Visual Perturbations AI summary
Yasuhiro Kato, Thomas Westfechtel, Jen-Yen Chang, Naoki Morihira, Akinobu Hayashi, Tatsuya Harada, Takayuki Osa
 View PDF
DreamControl: Human-Inspired Whole-Body Humanoid Control for Scene Interaction Via Guided Diffusion AI summary
Dvij Kalaria, Sudarshan S Harithas, Pushkal Katara, Sangkyung Kwak, Sarthak Bhagat, Shankar Sastry, Srinath Sridhar, Sai Vemprala, Ashish Kapoor, Jonathan Chung-Kuan Huang
 View PDF
Dfrnet-H: Dynamic Feature Refinement Network with Heterogeneous Kernels and Weighted Fusion for Highway Monitoring AI summary
Xu Liu, Wei Han, Siren Batu, Peng Zhang, Kai Liu and Ming Ma∗
 View PDF
Actuator Dynamics-Aware Model Predictive Control of a Wheeled Inverted Pendulum with a Fan AI summary
Dohyeon Kim, Yeongtae Jung
 View PDF
Development of Remote Center of Motion Mechanism for Biportal Endoscopic Spine Surgery Robot AI summary
Chunwoo Kim, Chaewon Kim, Dong-Eun Choi
 View PDF
Beyond Domain Randomization: Event-Inspired Perception for Visually Robust Adversarial Imitation from Videos AI summary
Andrea Ramazzina, Vittorio Giammarino, Matteo El Hariry, Mario Bijelic
 View PDF
Learning Quadruped Walking from Seconds of Demonstration AI summary
Ruipeng Zhang, Hongzhan Yu, Ya-Chien Chang, Chenghao Li, Henrik I. Christensen, Sicun Gao
 View PDF
Knowledge-Guided Manipulation Using Multi-Task Reinforcement Learning AI summary
Aditya Narendra, Mukhammadrizo Maribjonov, Dmitry Makarov, Dmitry Yudin, Aleksandr Panov
 View PDF
SC-VLMaps: Depth-Free Visual�Language Mapping Via Scene Coordinate Regression AI summary
Nanda Febri Istighfarin, Baehoon Choi, HyungGi Jo
 View PDF
A Non-Invasive Closed-Loop Myoelectric Prosthetic Hand Featuring Electrotactile Sensory Feedback AI summary
Guanyu Zhu, Yilong Dou, Qiong Wu, Qichuan Ding
 View PDF
Deformable Cluster Manipulation Via Whole-Arm Policy Learning AI summary
Jayadeep Jacob, Wenzheng Zhang, Houston Warren, Paulo Vinicius Koerich Borges, Fabio Ramos, Tirthankar Bandyopadhyay
 View PDF
AI-IO: An Aerodynamics-Inspired Real-Time Inertial Odometry for Quadrotors AI summary
Jiahao Cui, Feng Yu, Linzuo Zhang, Yu Hu, Danping Zou
 View PDF
Single-Instance Sampling for Computationally Efficient and Accurate Real-Time Task Space MPPI Control AI summary
Dongwhan Kim, Euncheol Im, Yujin Kim, Myo-Taeg Lim, Yisoo Lee
 View PDF