Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 43 of 58
Title & Authors Actions
Robust Bipedal Walking with Closed-Loop MPC: Adios Stabilizers AI summary
Antonin Dallard, Mehdi Benallegue, Nicola Scianca, Fumio Kanehiro, Abderrahmane Kheddar
 View PDF
Environment-Aware Learning of Smooth GNSS Covariance Dynamics for Autonomous Racing AI summary
Y. Deemo Chen, Arion Zimmermann, Thomas Berrueta, Soon-Jo Chung
 View PDF
Traffic Scenario Orchestration from Language Via Constraint Satisfaction AI summary
Frieda Rong, Chris Zhang, Kelvin Wong, Raquel Urtasun
 View PDF
Image-Based Closed-Loop Control of a Robotically Steerable Endoscopic Cannula for Minimally Invasive Neurosurgery AI summary
Nidhi Malhotra, Revanth Konda, Jaydev P. Desai
 View PDF
LLM-Handover: Exploiting LLMs for Task-Oriented Robot-Human Handovers AI summary
Andreea Roxana Tulbure, René Zurbruegg, Timm Grigat, Marco Hutter
 View PDF
Context Matters! Relaxing Goals with LLMs for Feasible 3D Scene Planning AI summary
Emanuele Musumeci, Michele Brienza, Francesco Argenziano, Abdel Hakim Drid, Vincenzo Suriani, Daniele Nardi, Domenico Bloisi
 View PDF
Phys2Real: Fusing VLM Priors with Interactive Online Adaptation for Uncertainty-Aware Sim-To-Real Manipulation AI summary
Maggie Wang, Stephen Tian, Aiden Swann, Ola Shorinwa, Jiajun Wu, Mac Schwager
 View PDF
SEG-Parking: Towards Safe, Efficient, and Generalizable Autonomous Parking Via End-To-End Offline Reinforcement Learning AI summary
Zewei Yang, Zengqi Peng, Jun Ma
 View PDF
A Manta Ray Robot with Tunable Two-Dimensional Wing Stiffness AI summary
Sicheng Fu, Wei Wang
 View PDF
PerceptTwin: Semantic Scene Reconstruction for Iterative LLM Planning and Verification AI summary
Charlie Gauthier, Sacha Morin, Liam Paull
 View PDF
Estimating Deformable-Rigid Contact Interactions for a Deformable Tool Via Learning and Model-Based Optimization AI summary
Mark Van der Merwe, Miquel Oller, Dmitry Berenson, Nima Fazeli
 View PDF
Curvature-Constrained Vector Field for Motion Planning of Nonholonomic Robots AI summary
Yike Qiao, Xiaodong He, An Zhuo, Zhiyong Sun, Weimin Bao, Zhongkui Li
 View PDF
Plug-And-Play Shape Matching Module for Zero-Shot Mesh-Free Grasp Refinement on Unknown Objects AI summary
Juyong Hong, Yeong Gwang Son, Seunghwan Um, Hyouk Ryeol Choi
 View PDF
Design and Implementation of Elastic Structure Preserving Vibration Suppression Control for Flexible Link Robots Using IMU Measurements AI summary
Alexander Kitzinger, Hubert Gattringer, Andreas Müller
 View PDF
Scalable Vision-Language-Action Model Pretraining for Robotic Dexterous Manipulation with Real-Life Human Activity Videos AI summary
Qixiu Li, Yu Deng, Yaobo Liang, Lin Luo, Lei Zhou, Chengtang Yao, Lingqi Zeng, ZhiYuan Feng, Huizhi Liang, Sicheng Xu, Yizhong Zhang, Xi Chen, Hao Chen, Lily Sun, Dong Chen, Jiaolong Yang, Baining Guo
 View PDF
AdaThinkDrive: Adaptive Thinking Via Reinforcement Learning for Autonomous Driving AI summary
yuechen luo, Fang LI, Shaoqing Xu, Zhiyi Lai, Lei Yang, Qimao Chen, Ziang Luo, Zixun Xie, Shengyin Jiang, Jiaxin Liu, Long Chen, Bing Wang, Zhi-Xin Yang
 View PDF
A Novel Hybrid Ureteroscope Tracking for Robotic-Assisted Retrograde Intrarenal Surgery Via Recognition of Pathway with Lumen Identification AI summary
Jung-Min Han, Dong-Soo Kwon, Ki-Uk Kyung
 View PDF
T-CoLoc: Leveraging Tethers for Reliable Co-Localization within an Underwater ROV Chain AI summary
Juliette Drupt, Claire Dune, Andrew Ian Comport, Vincent Hugel
 View PDF
A Novel Bio-Inspired Fish Robot with Tunable Stiffness Via Particle Jamming AI summary
Jack Stonecipher, Allen Gao, Wei Wang
 View PDF
SA-MPPI: Sensitivity-Aware Model Predictive Path Integral Control for Robust and Agile Quadrotor Flight AI summary
Fuqiang Gu, Xu Lu, Huidong Liu, Jiangshan Ai, Xianlei Long, Tao Jiang, Chao Chen, Zhao Huang
 View PDF
Gaussian Variational Inference with Non-Gaussian Factors for State Estimation: A UWB Localization Case Study AI summary
Andrew Stirling, Mykola Lukashchuk, Dmitry Bagaev, Wouter Kouw, James Richard Forbes
 View PDF
Leveraging Embodied Mechanical Intelligence for Learning Decluttering Tasks AI summary
Enrico Turco, Valerio Bo, Chiara Castellani, Gionata Salvietti, Monica Malvezzi, Domenico Prattichizzo, Maria Pozzi
 View PDF
KAN We Flow? Advancing Robotic Manipulation with 3D Flow Matching Via KAN & RWKV AI summary
Zhihao Chen, Yiyuan Ge, Ziyang Wang
 View PDF
RoboCade: Gamifying Robot Data Collection AI summary
Suvir Mirchandani, Mia Tang, Jiafei Duan, Jubayer Hamid, Chung Yeung Michael Cho, Dorsa Sadigh
 View PDF
Safe Whole-Body Loco-Manipulation Via Combined Model and Learning-Based Control AI summary
Alexander Schperberg, Yeping Wang, Stefano Di Cairano
 View PDF
Lie Group Implicit Kinematics for Redundant Parallel Manipulators: Left-Trivialized Extended Jacobians and Gradient-Based Online Redundancy Flows for Singularity Avoidance AI summary
Yifei Liu, Kefei Wen
 View PDF
BlurPoint: Efficient Motion Blur Aware Student-Teacher Local Feature Learning AI summary
Wenting Wang, Zhenjun Zhao, Jiaxin Guo, Yunhui Liu, Charlie C.L. Wang, Yeung Yam
 View PDF
Look at Them Go! Using an Autonomous Assistive GoBot to Encourage Movement Practice by Two Children with Motor Disabilities AI summary
Ameer Helmi, Tze-Hsuan Wang, Samuel W. Logan, Naomi T. Fitter
 View PDF
Friction-Aware Actuator Modeling for Accurate Torque Estimation Using External Sensors AI summary
Jiman Park, Hyunyong Lee, Hansol Kang, SeongWon Nam, Yeongwoo Son, Bumsu Yi, Jaeyoung Oh, Hyouk Ryeol Choi
 View PDF
Learning Unified Probabilistic Spatial Relation Representation from Visual Demonstrations AI summary
Paul Emil Hannuschka, Jianfeng Gao, Tamim Asfour
 View PDF
D-GVIO: A Buffer-Driven and Efficient Decentralized GNSS-Visual-Inertial State Estimator for Multi-Agent Systems AI summary
Yarong Luo, Wentao Lu, Chi Guo, Ming Li
 View PDF
Design Analysis of Flexible Rod Jamming Based Pneumatically Soft Actuator AI summary
Ibrahim Seleem, Hiroshi Takemura
 View PDF
Bioinspired Origami Exosuit for Sequential Lifting Assistance with Energy-Aware Compliance and Event-Triggered Impedance AI summary
Qunting Yang, Xiaoyu Wu, Bingcong Jian, Haisheng Xia, Zhijun Li
 View PDF
EP-Diffuser: An Efficient Diffusion Model for Traffic Scene Generation and Prediction Via Polynomial Representations AI summary
Yue Yao, Mohamed-Khalil Bouzidi, Daniel Goehring, Joerg Reichardt
 View PDF
SpikeATac: A Multimodal Tactile Finger with Taxelized Dynamic Sensing for Dexterous Manipulation AI summary
Eric T. Chang, Peter Ballentine, Zhanpeng He, DoGon Kim, Kai Jiang, Hua Hsuan Liang, Joaquin Palacios, William Wang, Pedro Piacenza, Ioannis Kymissis, Matei Ciocarlie
 View PDF
A Collision-Free Sway Damping Model Predictive Controller for Safe and Reactive Forestry Crane Navigation AI summary
Marc-Philip Ecker, Christoph Froehlich, Johannes Huemer, David Gruber, Bernhard Bischof, Tobias Glück, Wolfgang Kemmetmueller
 View PDF
A Framework for Soft Robot Control: Integrating Physics-Based Modeling with Exploration Based Learning AI summary
Costanza Armanini, Anthony Tzes, Andrea Del Prete, Fares Abu-Dakka
 View PDF
Semantics-Aware Predictive Inspection Path Planning AI summary
Mihir Rahul Dharmadhikari, Kostas Alexis
 View PDF
STAF-Navi: Vision-Based Spatio-Temporal Attention Fusion Navigation Framework AI summary
haowen zhang, fanghong liu, chaoyu zhang, qiuze yu
 View PDF
Learning Load-Balanced Distributed Coverage for Robot Swarms Via Graph Attention Networks AI summary
∗, Wenzong Ma , Hui Xiong , and Yiding Ji
 View PDF
A Tactile Rubbing Gripper for Reliable Fabric Separation AI summary
Zhengrong LING, Zhenghao HUANG, Yajing Shen
 View PDF
Conflict Mitigation in Shared Environments Using Flow-Aware Multi-Agent Path Finding AI summary
Lukas Heuer, Yufei Zhu, Luigi Palmieri, Anna Mannucci, Andrey Rudenko, Sven Koenig, Martin Magnusson
 View PDF
Low-Dimensional Tactile Glove for Visuo-Tactile Robot Hand Control: A Preliminary Study AI summary
Gi-gwang Baek, DongWook Kim
 View PDF
MAKP: Multi-Mode Accurate Kicking Policy for Humanoid Robots AI summary
Zheng Zhang, Kaiyang Xu, Zhanxiang Cao, Yizhi Chen, Peng Wang, Haoyang Li, Yang Zhang, Shengcheng Fu, Xin Shen, Xiaokang Yang, Yue Gao
 View PDF
Behavior Foundation Model for Humanoid Robots AI summary
Weishuai Zeng, Shunlin Lu, Kangning Yin, Xiaojie Niu, Minyue Dai, Jingbo Wang, Jiangmiao Pang
 View PDF
VividFace: Real-Time and Realistic Facial Expression Shadowing for Humanoid Robots AI summary
Peizhen Li, Longbing Cao, Xiao-Ming Wu, Yang Zhang
 View PDF
Commonsense-Guided Object Graph Reasoning with Policy Regularization for Object Goal Navigation AI summary
Yiyue Meng, Aolin Li, Jiao Zhan, Shenxin Li, Chi Guo
 View PDF
MOTCues: 3D Multi-Object Tracking with Birth Prior and Shape Description Informed by Point Cloud Cues AI summary
Hanyeol Lee, Yeongkwon Choe, Taeyoon Kim, Chan Gook Park
 View PDF
AURA: Autonomous Upskilling with Retrieval-Augmented Agents AI summary
Alvin Zhu, Yusuke Tanaka, Andrew Goldberg, Dennis Hong
 View PDF
Risk-Aware Reinforcement Learning with Bandit-Based Adaptation for Quadrupedal Locomotion AI summary
Yuanhong Zeng, Anushri Dixit
 View PDF