Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 24 of 58
Title & Authors Actions
VISTA: Open-Vocabulary, Task-Relevant Robot Exploration with Online Semantic Gaussian Splatting AI summary
Keiko Nagami, Timothy Chen, Javier Yu, Ola Shorinwa, Maximilian Adang, Carlyn Dougherty, Eric Cristofalo, Mac Schwager
 View PDF
Scale-Invariant and View-Relational Representation Learning for Full Surround Monocular Depth AI summary
Kyumin Hwang, Wonhyeok Choi, Kiljoon Han, Wonjoon Choi, Minwoo Choi, YONGCHEON NA, Minwoo Park, Sunghoon Im
 View PDF
UnsOcc: 3D Semantic Occupancy Prediction in Unstructured Scene Via Rendering Fusion AI summary
Ye Wu, Ruiqi Song, Baiyong Ding, Nanxing Zeng, JunJie Cheng, Yunfeng Ai
 View PDF
A Piezoelectrically-Actuated Mesoscale Compliant Parallel Robot Via Additive Manufacture AI summary
Ariel Tabak, Annamalai Karuppiah, Ryan Orszulik
 View PDF
TacFlex: Multi-Mode Tactile Imprints Simulation for Visuotactile Sensors with Coating Patterns AI summary
Chaofan Zhang, Shaowei Cui, Jingyi Hu, Tianyu Jiang, Tiandong Zhang, Rui Wang, Shuo Wang
 View PDF
Beyond Scalar Rewards: Distributional Reinforcement Learning with Preordered Objectives for Safe and Reliable Autonomous Driving AI summary
Ahmed Abouelazm, Jonas Michel, Daniel Bogdoll, Philip Schörner, Johann Marius Zöllner
 View PDF
Benchmarking the Effects of Object Pose Estimation and Reconstruction on Robotic Grasping Success AI summary
Varun Burde,, Pavel Burget, Torsten Sattler
 View PDF
Optimized Design and Calibration of a Human-Eye-Sized Active Binocular Vision System Based on Spherical Parallel Mechanism AI summary
and Xiaolin Zhang
 View PDF
CAVER: Curious AudioVisual Exploring Robot AI summary
Luca Macesanu, Boueny Folefack, Ruchira Ray, Ben Abbatematteo, Roberto Martín-Martín
 View PDF
Diff-VIO: A Diffusion Model-Based Pose Optimizer for Visual Inertial Odometry AI summary
Wenyuan Qin, Xiangxi Kong, Sizhuo Zhang, Hao XU, Xiwang Dong
 View PDF
PegasusFlow: Parallel Rolling-Denoising Score Sampling for Robot Diffusion Planner Flow Matching AI summary
Lei Ye, Haibo Gao, Peng Xu, Zhelin Zhang, Wei Zhang, Junqi Shan, Ao Zhang, Ruyi Zhou, Zongquan Deng, Liang Ding
 View PDF
One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments AI summary
Albert Lin, Shuang Peng, Somil Bansal
 View PDF
Don't Let Your Robot Be Harmful: Responsible Robotic Manipulation Via Safety-As-Policy AI summary
Minheng Ni, Lei Zhang, Zihan Chen, Kaixin Bai, Zhaopeng Chen, Jianwei Zhang, Lei Zhang, Wangmeng Zuo
 View PDF
Continuous Gaussian Process Pre-Optimization for Asynchronous Event-Inertial Odometry AI summary
Zhixiang Wang, Xudong Li, Yizhai Zhang, Fan Zhang, Panfeng Huang
 View PDF
Uni-Skill: Building Self-Evolving Skill Repository for Generalizable Robotic Manipulation AI summary
Senwei Xie, Yuntian Zhang, Ruiping Wang, Xilin Chen
 View PDF
In-Situ Automated Robotic Crown Preparation with MPC-Based Adaptive Control AI summary
Heng Liu, Huayu Fang, Shizhu Bai, Yimin Zhao, Junchen Wang
 View PDF
Monocular Visual Odometry Via Diffusion-Based Joint Learning of Optical Flow and Depth AI summary
Qingyuan Hu, Wei Li, Xuebin Meng, Yu Hu
 View PDF
D-Compress: Detail-Preserving LiDAR Range Image Compression for Real-Time Streaming on Resource-Constrained Robots AI summary
Shengqian Wang, Chang Tu, and He Chen∗
 View PDF
Source-Only Cross-Weather LiDAR Via Geometry-Aware Point Drop AI summary
YoungJae Cheong,Jhonghyun An
 View PDF
RoboMT: Human-Like Compliance Control for Assembly Via a Bilateral Robotic Teleoperation and Hybrid Mamba-Transformer Framework AI summary
RUNDONG WANG, Yanchun Cheng, Qilong Yuan, Alok Prakash, Francis TAY, Marcelo H Ang Jr
 View PDF
Fabric Pneumatic Artificial Muscle-Based Head-Neck Exosuit: Design, Evaluation, and Modeling AI summary
Katalin Schäffer, Ian Bales, Haohan Zhang, Margaret McGuinness
 View PDF
Unified Magnetic 5-DoF Localization Framework for Capsule Robots Via PMMN-DBO: From Single to Multi-Robot Scenarios with Real-Time Control�Localization Co-Design AI summary
Zijin Zeng, Chan Li, Zaiyang Chen, Shunxiao Huang, Wenyan Niu, Hongyan Sun, Menglu Tan, Yingjian Guo, Lin Feng
 View PDF
ViTac-Tracing: Visual-Tactile Imitation Learning of Deformable Object Tracing AI summary
Yongqiang Zhao, Haining Luo, Yupeng Wang, Emmanouil Spyrakos-Papastavridis, Yiannis Demiris, SHAN LUO
 View PDF
NuRisk: A Visual Question Answering Dataset for Agent-Level Risk Assessment in Autonomous Driving AI summary
Yuan Gao, Mattia Piccinini, Roberto Brusnicki, Yuchen Zhang, Johannes Betz
 View PDF
Flexible Locomotion Learning with Diffusion Model Predictive Control AI summary
Runhan Huang, Haldun Balim, HENG YANG, Yilun Du
 View PDF
SAGA-SLAM: Scale-Adaptive 3D Gaussian Splatting for Visual SLAM AI summary
Kun Park, Seung-Woo Seo
 View PDF
Diffusing Trajectory Optimization Problems for Recovery During Multi-Finger Manipulation AI summary
Abhinav Kumar, Fan Yang, Sergio Aguilera, Soshi Iba, Rana Soltani Zarrin, Dmitry Berenson
 View PDF
DA-MMP: Learning Coordinated and Accurate Throwing with Dynamics-Aware Motion Manifold Primitives AI summary
Chi Chu, Huazhe Xu
 View PDF
Human Motion Intent Inferencing in Teleoperation through a SINDy Paradigm AI summary
Michael Bowman, Xiaoli Zhang
 View PDF
Feasibility Study: Using Bypass Directly in Structured Warehouse for Multi-Agent Path Finding AI summary
Sen Xu, Kai Zhao
 View PDF
DriveAgent: Multi-Agent Structured Reasoning with LLM and Multimodal Sensor Fusion for Autonomous Driving AI summary
Xinmeng Hou, Wuqi Wang, long yang, Hao Lin, Jinglun Feng, Haigen Min, Xiangmo Zhao
 View PDF
AnySafe: Adapting Latent Safety Filters at Runtime Via Safety Constraint Parameterization in the Latent Space AI summary
Sankalp, Sunny Agrawal, Junwon Seo, Kensuke Nakamura, Ran Tian, Andrea Bajcsy
 View PDF
Customize Harmonic Potential Fields Via Hybrid Optimization Over Homotopic Paths AI summary
Shuaikang Wang, Tiecheng Guo, Meng Guo
 View PDF
GAPG: Geometry Aware Push-Grasping Synergy for Goal-Oriented Manipulation in Clutter AI summary
Lijingze Xiao, jinhong Du, YANG CONG, Supeng Diao, Yu Ren
 View PDF
Beyond Reference Trajectories: A Waypoint-Based Model Predictive Path Integral Control for Agile Drone Racing AI summary
Fangguo Zhao, Xin Guan, Shuo Li
 View PDF
ROI-GSurFisher: Next Best View Selection for Active Gaussian Splatting Via Fisher Information of ROI-Selected Gaussian Surfels AI summary
Wei Wang, Wei Ma, Hongliang Zhang, Hongbin Zha
 View PDF
NavDP: Learning Sim-To-Real Navigation Diffusion Policy with Privileged Information Guidance AI summary
Wenzhe Cai, Jiaqi Peng, Yuqiang Yang, Yujian Zhang, MENG WEI, Hanqing Wang, Yilun Chen, Tai Wang, Jiangmiao Pang
 View PDF
Learning Behaviours for Decentralised Multi-Robot Collision Avoidance in Constrained Pathways Using Curriculum Reinforcement Learning AI summary
Md Mostafizur Rahman Komol, Brendan Tidd, Will Browne, Frederic Maire, Jason Williams, David Howard
 View PDF
DAPPER: Discriminability-Aware Policy-To-Policy Preference-Based Reinforcement Learning for Query-Efficient Robot Skill Acquisition AI summary
Yuki Kadokawa, Jonas Frey, Takahiro Miki, Takamitsu Matsubara, Marco Hutter
 View PDF
Multimodal Belief-Space Covariance Steering with Active Probing and Influence for Interactive Driving AI summary
Devodita Chakravarty, John M. Dolan, Yiwei Lyu
 View PDF
Agile and Controllable Omnidirectional Fast-Start Maneuvers of Robotic Fish Via Bio-Inspired Reinforcement Learning AI summary
Xu Huang, Xiaozhu Lin, Xiaopei Liu, Yang Wang
 View PDF
UrbanVLA: A Vision-Language-Action Model for Urban Micromobility AI summary
Anqi Li, Zhiyong Wang, Jiazhao Zhang, Minghan Li, Yunpeng Qi, Zhibo Chen, Zhizheng Zhang, He Wang
 View PDF
ManipForce: Force-Guided Policy Learning with Frequency-Aware Representation for Contact-Rich Manipulation AI summary
Geonhyup Lee, Youngjin Lee, Kangmin Kim, Seongju Lee, Sangjun Noh, Seunghyeok Back, Kyoobin Lee
 View PDF
MAP-VLA: Memory-Augmented Prompting for Vision-Language-Action Model in Robotic Manipulation AI summary
Runhao Li, Wenkai Guo, Zhenyu Wu, Changyuan Wang, Haoyuan Deng, Zhenyu Weng, Yap-Peng Tan, Ziwei Wang
 View PDF
MTE-SLAM: Multi-Tier Feature Fusion for Efficient Neural Semantic SLAM AI summary
Danqi Lu, Changxin Huang, Zhuangzhuang Chen, Zhiliang Lin, Dachong Li, Yanbin Chang, Jianqiang Li
 View PDF
Sample-Efficient Learning with Online Expert Correction for Autonomous Catheter Steering in Endovascular Bifurcation Navigation AI summary
Hao Wang, Tianliang Yao, Bo LU, Zhiqiang Pei, dong liu, Lei Ma, Peng Qi
 View PDF
HiMAP: History-Aware Map-Occupancy Prediction with Fallback AI summary
Yiming Xu, Yi Yang, Hao Cheng, Monika Sester
 View PDF
Curb-Tracker: An Integrated Curb Following System for Autonomous Vehicles AI summary
Jiahao Liang, Yuanzhe Wang, Guohao Peng, Zhenyu Wu, Danwei Wang
 View PDF
The Robot's Inner Critic: Self-Refinement of Social Behaviors through VLM-Based Replanning AI summary
Jiyu Lim, Youngwoo Yoon, Kwanghyun Park
 View PDF
ParkDiffusion++: Ego Intention Conditioned Joint Trajectory Prediction for Automated Parking Using Diffusion Models AI summary
Jiarong WEI, Anna Rehr, Christian Feist, Abhinav Valada
 View PDF