Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 21 of 58
Title & Authors Actions
DepthMesh: A Dual-End Complementary Online Depth Estimation and Mesh Reconstruction AI summary
Jiaqi Yang, Dazhao Fan, Xingbin Yang, Jiabin Yang, Song Ji, Yang Dong, Ming Li, Aosheng Wang
 View PDF
Real-Time Geometric-Registration-Based Precision Localization for Autonomous Docking in Unstructured Factory Environment AI summary
Sebastian Fernando Chinchilla Gutierrez, Manaru Watanabe, Masahiro Ooyama, Takayuki Yamada, Tomoaki Yamada, Naoto Toshiki, Satsuki Yamane, Jose Victorio Salazar Luces, Ankit A. Ravankar, Yasuhisa Hirata
 View PDF
Diversity-Aware Crowd Model for Robust Robot Navigation in Human Populated Environment AI summary
Jiaxu Wu, Yusheng Wang, Tong Chen, Jun Jiang, Yongdong Wang, Qi An, Atsushi Yamashita
 View PDF
MinNav: Minimalist Navigation for Active Tiny Aerial Robots AI summary
Aniket Patil, Mandeep Singh, Uday Girish Maradana, Nitin J Sanket
 View PDF
AnchorDream: Repurposing Video Diffusion for Embodiment-Aware Robot Data Synthesis AI summary
Junjie Ye, Rong Xue, Basile Van Hoorick, Pavel Tokmakov, Muhammad Zubair Irshad, YUE WANG, Vitor Guizilini
 View PDF
Text-Conditioned Beat Gesture Generation for a Social Robot Via a Conditional Variational Autoencoder AI summary
Alejandro Climent Peñalver, Enrique Fernandez-Rodicio, Álvaro Castro-González
 View PDF
Point2Act: Efficient 3D Distillation of Multimodal LLMs for Zero-Shot Context-Aware Grasping AI summary
Sang Min Kim, Hyeongjun Heo, Junho Kim, Yonghyeon Lee, Young Min Kim
 View PDF
Moving On, Even When You�re Broken: Fail-Active Trajectory Generation Via Diffusion Policies Conditioned on Embodiment and Task AI summary
Gilberto Briscoe-Martinez, Yaashia Gautam, Rahul Shetty, Anuj Pasricha, Marco Nicotra, Alessandro Roncone
 View PDF
EgoMI: Learning Active Vision and Whole-Body Manipulation from Egocentric Human Demonstrations AI summary
Justin Yu, Yide Shentu, Di Wu, Pieter Abbeel, Ken Goldberg, Shiyao Wu
 View PDF
RadarSFD: Single-Frame Diffusion with Pretrained Priors for Radar Point Clouds AI summary
Bin Zhao, Nakul Garg
 View PDF
Leveraging Geometric Priors for Unaligned Scene Change Detection AI summary
Ziling Liu, Ziwei Chen, Mingqi Gao, Jinyu Yang, Feng Zheng
 View PDF
Refinery: Active Fine-Tuning and Deployment-Time Optimization for Contact-Rich Policies AI summary
Bingjie Tang, Iretiayo Akinola, Jie Xu, Bowen Wen, Dieter Fox, Gaurav Sukhatme, Fabio Ramos, Abhishek Gupta, Yashraj Narang
 View PDF
TAG-K: Tail-Averaged Greedy Kaczmarz for Computationally Efficient and Performant Online Inertial Parameter Estimation AI summary
Shuo Sha, Anupam Bhakta, Zhenyuan Jiang, Kevin Qiu, Ishaan Mahajan, Gabriel Bravo-Palacios, Brian Plancher
 View PDF
Agile Flight Emerges from Multi-Agent Competitive Racing AI summary
Vineet Pasumarti, Lorenzo Bianchi, Antonio Loquercio
 View PDF
StreamVLN: Streaming Vision-And-Language Navigation Via SlowFast Context Modeling AI summary
MENG WEI, Chenyang Wan, Xiqian Yu, Tai Wang, Yuqiang Yang, Xiaohan Mao, Chenming Zhu, Wenzhe Cai, Hanqing Wang, Yilun Chen, Xihui Liu, Jiangmiao Pang
 View PDF
Detection of EMU Components Based on Optical Flow Attention Prior and Multi-Modal RGBD RTDETR AI summary
Mingjun Cong, Gang Peng, Yongchang Tang, Chaowei Song, Chaoze Wang
 View PDF
Safety-Aware UAVs Formation Scheme for Guiding UGVs through Obstacle-Laden Environments AI summary
Ruikang Xiao, Shuting Wang, Yuanlong Xie, Sheng Quan Xie, Youmin Zhang
 View PDF
I2D-LocX: An Efficient, Precise and Robust Method for Camera Localization in LiDAR Maps AI summary
Huai Yu, Xubo Zhu, Shu Han, Wen Yang, Gui-Song Xia
 View PDF
Real-Time Trajectory Optimization for Continuum Robots in Human�Robot Interaction Using Vision-Based Target Pose Estimation AI summary
Duo Tang, Rui Peng, Ping Deng, Xiao Cao, Peng Lu
 View PDF
CD-FKD: Cross-Domain Feature Knowledge Distillation for Robust Single-Domain Generalization in Object Detection AI summary
Junseok Lee, Sungho Shin, Seongju Lee, Kyoobin Lee
 View PDF
Semantic-Augmented 3D Gaussian Splatting for Visual Localization in Complex Indoor Environments AI summary
Ba Tuan Hoang Chu, Gon-Woo Kim
 View PDF
PMG: Parameterized Motion Generator for Human-Like Locomotion Control AI summary
Chenxi Han, Yuheng Min, Zihao Huang, Ao Hong, Hang Liu, Yi Cheng, Houde Liu
 View PDF
Stable Worker Intention Recognition Via Transformer and CRF-Ontology Decoding for Human�Robot Collaboration AI summary
Hwijin Park, HyunBin Kwon, Hyundo Lee, Cheol Woo Park, HAK YI
 View PDF
GRS-SLAM3R: Real-Time Dense SLAM with Gated Recurrent State AI summary
Guole Shen, Tianchen Deng, Yanbo Wang, Yongtao Chen, Yilin Shen, Jiuming Liu, Jingchuan Wang
 View PDF
GeoISF: Instance Semantic Forest Inspired Large-Scale Cross-View Geo-Localization Via Ground LiDAR-to-Satellite Image AI summary
Di Hu, Xia Yuan, Chun-xia Zhao
 View PDF
Semantic-Level Conflict Traffic Scenario Generation Via Spatiotemporal Polygon Anchors AI summary
Yunwei Li, Anran Wang, Siyu Wu, Shengjie Fu, Shuo Feng, Hong Wang, Jun Li
 View PDF
Searching in Space and Time: Unified Memory-Action Loops for Open-World Object Retrieval AI summary
Taijing Chen, Sateesh Kumar, Junhong Xu, Georgios Pavlakos, Joydeep Biswas, Roberto Martín-Martín
 View PDF
A Minimal Subset Approach for Informed Keyframe Sampling in Large-Scale SLAM AI summary
Nikolaos Stathoulopoulos, Christoforos Kanellakis, George Nikolakopoulos
 View PDF
TORM: Transparent Objects Reconstruction and Manipulation with Multi-View Segmentation AI summary
Qiyuan Qiao, Fuling Lin, Huibin Zhao, Bowen Xu, Zhiqiang Chen, Dong Xu, Peng Lu
 View PDF
DisFlow: Scene Flow from Distance Field for Object Pose, Velocity Tracking, and Surface Reconstruction AI summary
Lan Wu, Sheila Sutjipto, Jennifer Wakulicz, Teresa A. Vidal-Calleja
 View PDF
GaussianPretrain: A Simple Unified 3D Gaussian Representation for Visual Pre-Training in Autonomous Driving AI summary
Shaoqing Xu, Fang LI, Shengyin Jiang, Ziying Song, Zhi-Xin Yang
 View PDF
OTAS: Open-vocabulary Token Alignment for Outdoor Segmentation AI summary
Simon Schwaiger,, Stefan Thalhammer, Wilfried W ̈ober, and Gerald Steinbauer-Wagner
 View PDF
SRPO: Self-Reflection Policy Optimization for Stable and Robust Autonomous Driving AI summary
Dejin Wang, Seyede Fatemeh Ghoreishi
 View PDF
HBRB-BoW: A Retrained Bag-Of-Words Vocabulary for ORB-SLAM Via Hierarchical BRB-KMeans AI summary
Minjae Lee, Sang-Min Choi, Gun-Woo Kim, Suwon Lee
 View PDF
Learning Multiple Initial Solutions to Optimization Problems AI summary
Elad Sharony, Heng Yang, Tong Che, Marco Pavone, Shie Mannor, Peter Karkus
 View PDF
Bimanual Regrasp Planning and Control for Active Reduction of Object Pose Uncertainty AI summary
Ryuta Nagahama, Weiwei Wan, Zhengtao Hu, Kensuke Harada
 View PDF
SemGS: Feed-Forward Semantic 3D Gaussian Splatting from Sparse Views for Generalizable Scene Understanding AI summary
Sheng Ye, Zhen-Hui Dong, Ruoyu Fan, Tian Lv, Yong-Jin Liu
 View PDF
AIM-SLAM: Dense Monocular SLAM Via Adaptive and Informative Multi-View Keyframe Prioritization with Foundation Model AI summary
Jinwoo Jeon, Dong-Uk Seo, Eungchang Mason Lee, Hyun Myung
 View PDF
SEPT: Standard-Definition Map Enhanced Scene Perception and Topology Reasoning for Autonomous Driving AI summary
Muleilan Pei, Jiayao Shan, Peiliang Li, Jieqi Shi, Jing Huo, Yang Gao, Shaojie Shen
 View PDF
UMBRELLA: Uncertainty-Aware Multi-Robot Reactive Coordination under Dynamic Temporal Logic Tasks AI summary
Qisheng Zhao, Meng Guo, Hengxuan Du, Lars Lindemann, Zhongkui Li
 View PDF
GIFT: Generalizing Intent for Flexible Test-Time Rewards AI summary
Fin Amin, Nathaniel Dennler, Andreea Bobu
 View PDF
Diverse Skill Discovery in Fourier Latent Space Via Unsupervised Learning AI summary
Ruopeng Cui, Yucong Sun, Xizhou Bu, Wang Chao, Wei Li
 View PDF
START: Traversing Sparse Footholds with Terrain Reconstruction AI summary
Ruiqi Yu, Qianshi Wang, Hongyi Li, Jun Zheng, Zhicheng Wang, Jun Wu, Qiuguo Zhu
 View PDF
Precedence-Aware Multi-UAV Task Allocation with an Attention-Based Reinforcement Learning Framework AI summary
Xurui Liu
 View PDF
ViSA-Flow: Accelerating Robot Skill Learning Via Large-Scale Video Semantic Action Flow AI summary
Changhe Chen, Quantao Yang, Xiaohao Xu, Nima Fazeli, Olov Andersson
 View PDF
Annotation Free Spacecraft Detection and Segmentation Using Vision Language Models AI summary
Samet Hicsonmez, Jose Sosa, Dan Pineau, INDER PAL SINGH, Arunkumar Rathinam, Abd El Rahman Shabayek, Djamila Aouada
 View PDF
Proactive Risk-Aware Trajectory Planning for Autonomous Driving in Unstructured Environments Via Reinforcement Learning with Adaptive Reward Design AI summary
Jiawei Du, Weiming Qu, Shenghai Yuan, Jia Wang, qifei bai, chengguang li, Xihong Wu, Dingsheng Luo
 View PDF
3D-ADAM: A Dataset for 3D Anomaly Detection in Additive Manufacturing AI summary
Paul Matthew McHard, Florent P. Audonnet, Oliver Summerell, Sebastian Andraos, Paul Henderson, Gerardo Aragon-Camarasa
 View PDF
Embodiment‑Aware Generalist Specialist Distillation for Unified Humanoid Whole-Body Control AI summary
Quanquan Peng, Yunfeng Lin, Yufei Xue, Jiangmiao Pang, Weinan Zhang
 View PDF
Haptic Stiffness Perception Using Hand Exoskeletons in Tactile Robotic Telemanipulation AI summary
Gabriele Giudici, Claudio Coppola, Kaspar Althoefer, Ildar Farkhatdinov, Lorenzo Jamone
 View PDF