Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 12 of 58
Title & Authors Actions
Overcoming Explicit Environment Representations with Geometric Fabrics AI summary
Max Spahn, Saray Bakker, Javier Alonso-Mora
 View PDF
CETUS: Causal Event-Driven Temporal Modeling with Unified Variable-Rate Scheduling AI summary
Hanfang Liang, Bing Wang, Shizhen Zhang, wen jiang, Yizhuo Yang, Weixiang Guo, Shenghai Yuan
 View PDF
Disturbance-Aware Adaptive Compensation in Hybrid Force-Position Locomotion Policy for Legged Robots AI summary
Yang Zhang, Zhanxiang Cao, Buqing Nie, Yangqing Fu, Haoyang Li, Zheng Zhang, Yizhi Chen, Xiaokang Yang, Yue Gao
 View PDF
A MagsL-HUD Endoscopic System for Magnetic Compression Anastomosis Surgery in Unstructured Endoluminal Environment AI summary
Yichong SUN, Yitian Xian, Ruoyu Xu, Wai Shing Chan, Hon Chi Yip, Philip, Wai-yan Chiu, Zheng Li
 View PDF
Decentralized Triangulation Formation without Communication: A Vision Transformer Based Learning Approach AI summary
Xinchi Huang, Guang YANG, Yi Guo
 View PDF
UltraVPR: Unsupervised Lightweight Rotation-Invariant Aerial Visual Place Recognition AI summary
Chao Chen, Chunyu Li, Mengfan He, Jun Wang, Fei Xing, Ziyang Meng
 View PDF
Informed, Constrained, Aligned: A Field Analysis on Degeneracy-Aware Point Cloud Registration in the Wild AI summary
Turcan Tuna, Julian Nubert, Patrick Pfreundschuh, Cesar Cadena, Shehryar Khattak, Marco Hutter
 View PDF
Search3D: Hierarchical Open-Vocabulary 3D Segmentation AI summary
Ayca Takmaz, Alexandros Delitzas, Robert W. Sumner, Francis Engelmann, Johanna Wald, Federico Tombari
 View PDF
BiGraspFormer: End-To-End Bimanual Grasp Transformer AI summary
Kangmin Kim, Seunghyeok Back, Geonhyup Lee, Sangbeom Lee, Sangjun Noh, Kyoobin Lee
 View PDF
In-Orbit Space Structure Inspection Trajectory Generation AI summary
Brandon Apodaca, Thor Helgeson, Ella Atkins, Leia Stirling
 View PDF
Human-Interpretable Uncertainty Explanations for Point Cloud Registration AI summary
Johannes Albert Gaus, Loris Schneider, Yitian Shi, Jongseok Lee, Rania Rayyes, Rudolph Triebel
 View PDF
EiGS: Event-Informed 3D Deblur Reconstruction with Gaussian Splatting AI summary
Yuchen Weng, Nuo Li, Peng Yu, qi Wang, Yongqiang Qi, Shaoze You, Jun Wang
 View PDF
HybridTrack: A Hybrid Approach for Robust Multi-Object Tracking AI summary
Leandro Di Bella, Yangxintong Lyu, Bruno Cornelis, Adrian Munteanu
 View PDF
VG3T: Visual Geometry Grounded Gaussian Transformer AI summary
Junho Kim, Seongwon Lee
 View PDF
A Single-Stage Spectrum-Domain Network for Trajectory Prediction AI summary
Beihao Xia, Qinmu Peng, Xinge You
 View PDF
Learning Actuator-Aware Spectral Submanifolds for Precise Control of Continuum Robots AI summary
Paul Leonard Wolff, Hugo Buurmeijer, Luis Pabon, John Irvin Alora, Mark Leone, Roshan Kaundinya, Amirhossein Kazemipour, Robert Kevin Katzschmann, Marco Pavone
 View PDF
Motion Manifold Flow Primitives for Task-Conditioned Trajectory Generation under Complex Task-Motion Dependencies AI summary
Yonghyeon Lee, Byeongho Lee, Seungyeon Kim, Frank Park
 View PDF
CorrectManip: A Data-Driven Closed-Loop Framework for Autonomous Skill Learning with Failure Recovery AI summary
Shiwen Li, Zhen Yang, Zuofu Wang, Bin Ma, ye tengju, Shiyu Zhao, Junbo Chen, Kaicheng Yu
 View PDF
Search at Scale: Improving Numerical Conditioning of Ergodic Coverage Optimization for Multi-Scale Domains AI summary
Yanis Lahrach, Christian Hughes, Ian Abraham
 View PDF
Background Fades, Foreground Leads: Curriculum-Guided Background Pruning for Efficient Foreground-Centric Collaborative Perception AI summary
Yuheng Wu, Xiangbo Gao, Quang Tau, Zhengzhong Tu, Dongman Lee
 View PDF
ActivePusher: Active Learning and Planning with Residual Physics for Nonprehensile Manipulation AI summary
Zhuoyun Zhong, Seyedali Golestaneh, Constantinos Chamzas
 View PDF
COLSON: Controllable Learning-Based Social Navigation Via Diffusion-Based Reinforcement Learning AI summary
Kohei Matsumoto, Yuki Tomita, Yuki Hyodo, Ryo Kurazume
 View PDF
Learning Generalizable Robot Policy with Human Demonstration Video as a Prompt AI summary
Xiang Zhu, Yichen Liu, Hezhong Li, Jianyu Chen
 View PDF
RealTraj: Towards Real-World Pedestrian Trajectory Forecasting AI summary
Ryo Fujii, Hideo Saito, Ryo Hachiuma
 View PDF
Run-Time Optimization of Overall Energy Consumption in Lightweight Collaborative Arms for Repetitive Tasks AI summary
Ahmadreza Zarei, Sajad Shahsavari, Juha Plosila, Hashem Haghbayan
 View PDF
Unleashing the Power of Discrete-Time State Representation: Ultrafast Target-Based IMU-Camera Spatial-Temporal Calibration AI summary
Junlin Song, Antoine Richard, and Miguel Olivares-Mendez
 View PDF
SOE: Sample-Efficient Robot Policy Self-Improvement Via On-Manifold Exploration AI summary
Yang Jin, Jun Lv, Han Xue, Wendi Chen, Chuan Wen, Cewu Lu
 View PDF
UnIRe: Unsupervised Instance Decomposition for Dynamic Urban Scene Reconstruction AI summary
Yunxuan Mao, Rong Xiong, Yue Wang, Yiyi Liao
 View PDF
R2-LIO: Real-Time and Robust LiDAR-Inertial Odometry in Dynamic Environments AI summary
Gu Changjun, Ziyi Huang, Gan Sun, Jiahua Dong, Jiaxu Leng, Xinbo Gao
 View PDF
GauSem-SLAM: Gaussian Semantic Submaps with Loop Closure for Globally Consistent SLAM AI summary
Bowen Zhang, Yufan Liu, Lebin Liang, Dong Li, Mingrui Li, Xuanxuan Zhang
 View PDF
GSAT: Geometric Traversability Estimation Using Self-Supervised Learning with Anomaly Detection for Diverse Terrains AI summary
Dongjin Cho, Miryeong Park, Juhui Lee, Geonmo Yang, Younggun Cho
 View PDF
Pushing the Limits of Reactive Navigation: Learning to Escape Local Minima AI summary
Isar Meijer, Michael Pantic, Helen Oleynikova, Roland Siegwart
 View PDF
Angle-I2P: Angle-Consistent-Aware Hierarchical Attention for Cross-Modality Outlier Rejection AI summary
Muyao Peng, Shun Zou, Pei An, You Yang, Qiong Liu
 View PDF
High-Altitude Balloon Station-Keeping with First Order Model Predictive Control AI summary
Myles Pasetsky, Jiawei Lin, Bradley Guo, Sarah Dean
 View PDF
SafeFlowMPC: Predictive and Safe Trajectory Planning for Robot Manipulators with Learning-Based Policies AI summary
Thies Oelerich, Gerald Ebmer, Christian Hartl-Nesic, Andreas Kugi
 View PDF
Multivariate Active Learning and Adaptive Sampling with Multi-Kernel Gaussian Processes AI summary
Thien Hoang Nguyen, Nathan Wallace, Nicholas Harrison, and Salah Sukkarieh
 View PDF
Torque Transmission Modeling of Two Coaxial Electrorheological Clutches for Reciprocating Actuation AI summary
Shouren Huang, Masatoshi Ishikawa
 View PDF
Adaptive Motion Priors with Constrained Optimization AI summary
Tuchapong Sangthaworn, Bawornsak Sakulkueakulsuk
 View PDF
Zero-Shot Denoiser for Enhanced Acoustic Inspection: Blind Signal Separation and Text-Guided Audio Reconstruction AI summary
Koki Shoda, Jun Younes Louhi Kasahara, Qi An, Atsushi Yamashita
 View PDF
ARMOR: Attack-Resilient Reinforcement Learning Control for UAVs AI summary
Pritam Dash, Ethan Chan, Nathan P. Lawrence, Karthik Pattabiraman
 View PDF
Concurrent-Allocation Task Execution for Multi-Robot Path-Crossing-Minimal Navigation in Obstacle Environments AI summary
Binbin Hu, Weijia Yao, Zhou Yanxin, Henglai Wei, Chen Lv
 View PDF
Dynamically Feasible Trajectory Generation with Optimization-Embedded Networks for Autonomous Flight AI summary
Zhichao Han, Long Xu, Liuao Pei, Fei Gao
 View PDF
Assigning Multi-Robot Tasks to Multitasking Robots AI summary
Winston Smith, Yu (Tony) Zhang
 View PDF
R2BC: Multi-Agent Imitation Learning from Single-Agent Demonstrations AI summary
Connor Mattson, Varun Raveendra, Ellen Novoseller, Nicholas Waytowich, Vernon Lawhern, Daniel Brown
 View PDF
Behavior-Controllable Stable Dynamics Models on Riemannian Configuration Manifolds AI summary
Byeongho Lee, Yonghyeon Lee, Junsu Ha, Frank Park
 View PDF
ConsistencyPlanner: Real-Time Planning with Fast-Sampling Consistency Models AI summary
Qichao Zhang, Xing Fang, Jiaqi Fang, Zhenwen Cai, Jie Ling, Qiankun Yu, Dongbin Zhao
 View PDF
CoCoPlan: Adaptive Coordination and Communication for Multi-Robot Systems in Dynamic and Unknown Environments AI summary
Xintong Zhang, Junfeng Chen, Yuxiao Zhu, Bing Luo, Meng Guo
 View PDF
ArmGS: Composite Gaussian Appearance Refinement for Modeling Dynamic Urban Environments AI summary
Guile Wu, Dongfeng Bai, Bingbing Liu
 View PDF
Multi-Task Reinforcement Learning of Drone Aerobatics by Exploiting Geometric Symmetries AI summary
Zhanyu Guo,, Zikang Yin,, Guobin Zhu,, Shiliang Guo, and Shiyu Zhao∗
 View PDF
Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems AI summary
tao li, zhenbao yu, Banglei Guan, jianli han, weimin lv
 View PDF