Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 22 of 58
Title & Authors Actions
UTTG: A Universal Teleoperation Framework Via Online Trajectory Generation AI summary
ShengJian Fang, Yixuan Zhou, Yu Zheng, Pengyu Jiang, Siyuan Liu, Hesheng Wang
 View PDF
SIGN: Safety-Aware Image-Goal Navigation for Autonomous Drones Via Reinforcement Learning AI summary
Zichen Yan, Rui Huang, Lei He, Shao Guo, Lin Zhao
 View PDF
TD-CD-MPPI: Temporal-Difference Constraint-Discounted Model Predictive Path Integral Control AI summary
Pietro Noah Crestaz, Ludovic De Matteïs, Elliot Chane-Sane, Nicolas Mansard, Andrea Del Prete
 View PDF
SuReNav: Superpixel Graph-Based Constraint Relaxation for Navigation in Over-Constrained Environments AI summary
Keonyoung Koh, Moonkyeong Jung, Samuel Seungsup Lee, Daehyung Park
 View PDF
Efficient Collision-Avoidance for Multi-Robot System with Superquadric Models and Sum-Of-Squares Approximation AI summary
Siyi Lu, Sipu Ruan
 View PDF
SlipSense: Multimodal Sensing for Online Slip Detection in Legged Robots AI summary
Iris Szu-Yao Liu, Chien Chern Cheah, Meng Yee (Michael) Chuah
 View PDF
MMD-SLAM: Structure-Enhanced Multi-Meta Gaussian Distribution-Guided Visual SLAM AI summary
Hui Zhu,, Hongxing Zhou, Sixun Liu, and Chunmao Jiang,∗
 View PDF
Opt2Skill: Imitating Dynamically-Feasible Whole-Body Trajectories for Versatile Humanoid Loco-Manipulation AI summary
Fukang Liu, Zhaoyuan Gu, Yilin Cai, Ziyi Zhou, Hyunyoung Jung, Jaehwi Jang, Shijie Zhao, Sehoon Ha, Yue Chen, Danfei Xu, Ye Zhao
 View PDF
Chance-Constrained Convex MPC for Robust Quadruped Locomotion under Parametric and Additive Uncertainties AI summary
Ananya Trivedi, Sarvesh Prajapati, Mark Zolotas, Michael Everett, Taskin Padir
 View PDF
Reducing Oracle Feedback with Vision�Language Embeddings for Preference-Based RL AI summary
Udita Ghosh, Dripta Raychaudhuri, Jiachen Li, Konstantinos Karydis, Amit Roy-Chowdhury
 View PDF
EES: A Data-Driven End-To-End Escorting System Via Spatiotemporal Feature Fusion AI summary
Youjin Yu, Junxiang Li, Bowen Li, Tao Wu, Huijing Zhao
 View PDF
MIND-Calib: Multi-View, Intensity and Depth-Driven Dense 2D�3D Alignment for Single-Frame LiDAR�Camera Extrinsic Calibration AI summary
Shezhong Liu, Zibin Chen
 View PDF
Calibration-Free Gas Source Localization with Mobile Robots: Source Term Estimation Based on Concentration Measurement Ranking AI summary
Wanting Jin, Agatha Duranceau, Izzet Kagan Erunsal, Alcherio Martinoli
 View PDF
Self-Supervised Point Cloud Single Object Tracking AI summary
Yuheng Liu, Le Hui, Ziyue Zhu, Shaohui Mei, Yigong Zhang, Jin Xie, Jian Yang
 View PDF
Minimal Intervention Shared Control with Guaranteed Safety under Non-Convex Constraints AI summary
Shivam Chaubey, Francesco Verdoja, Shankar Deka, Ville Kyrki
 View PDF
Quality over Quantity: Demonstration Curation via Influence Functions for Data-Centric Robot Learning AI summary
Haeone Lee, Taywon Min, Junsu Kim, Sinjae Kang, Fangchen Liu, Lerrel Pinto, Kimin Lee
 View PDF
Gaussian Process Implicit Surfaces As Control Barrier Functions for Safe Robot Navigation AI summary
Mouhyemen Khan, Tatsuya Ibuki, Abhijit Chatterjee
 View PDF
Enhanced Probabilistic Collision Detection for Motion Planning under Sensing Uncertainty AI summary
Xiaoli Wang, Sipu Ruan, Xin Meng, Gregory Chirikjian
 View PDF
Bayesian NeRF: Quantifying Uncertainty with Volume Density for Neural Implicit Fields AI summary
Sibaek Lee, Kyeongsu Kang, Seongbo Ha, Hyeonwoo Yu
 View PDF
Unveiling the Impact of Data and Model Scaling on High-Level Control for Humanoid Robots AI summary
Yuxi Wei, Ziseoi Wong, Kangning Yin, Yue Hu, Jingbo Wang, Siheng Chen
 View PDF
A Digital Twin for Robotic Post Mortem Tissue Sampling Using Virtual Reality AI summary
Maximilian Neidhardt, Ludwig Bosse, Vidas Raudonis, Kristina Allgoewer, Axel Heinemann, Benjamin Ondruschka, Alexander Schlaefer
 View PDF
DextrAH-RGB: Visuomotor Policies to Grasp Anything with Dexterous Hands AI summary
Ritvik Singh, Arthur Allshire, Ankur Handa, Nathan Ratliff, Karl Van Wyk
 View PDF
Structured Diversity Control: A Dual-Level Framework for Group-Aware Multi-Agent Coordination AI summary
Shuocun Yang, Huawen Hu, Xuan Liu, Yincheng Yao, Enze Shi, Shu Zhang
 View PDF
CoorGrasp: Coordinated Contact Control for Adaptive Dexterous Grasping under Uncertainty AI summary
Mingrui Yu, Yongpeng Jiang, Yongyi Jia, Yi Ren, Xiang LI
 View PDF
M3CAD: Towards Generic Cooperative Autonomous Driving Benchmark AI summary
Morui Zhu, Yongqi Zhu, Yihao Zhu, Qi Chen, Deyuan Qu, Song Fu, Qing Yang
 View PDF
Autonomous Rotating Cameras Boost 3D Wildlife MoCap Yield without Human Operators AI summary
Amaan Vally, Daniel Joska, Naoya Muramatsu, Paul Amayo, Amir Patel
 View PDF
Multimodal Fusion-Guided Diffusion Policy for Motion Planning in Rugged and Obstacle-Dense Environments AI summary
Haoyu Xi, Wei Li, Yu Hu
 View PDF
CoTaP: Compliant Task Pipeline and Reinforcement Learning of Its Controller with Compliance Modulation AI summary
Zewen He, Chen Chenyuan, Dilshod Azizov, Yoshihiko Nakamura
 View PDF
Design and Optimization of a Samara-Inspired Lightweight Monocopter for Extended Endurance AI summary
Xinyu Cai, Shangkun Zhong, Tee Meng Tan, Wei Jun Ang, Shaohui Foong
 View PDF
On Your Own - Pro-Level Autonomous Drone Racing in Uninstrumented Arenas AI summary
Michael Bosello, Flavio Pinzarrone, Sara Kiade, Davide Aguiari, Yvo Keuter, Aaesha AlShehhi, Gyordan Caminati, Kei Long Wong, Ka Seng Chou, Junaid Halepota, Fares Alneyadi, Jacopo Panerati, Giovanni Pau
 View PDF
Adaptive Diffusion Constrained Sampling for Bimanual Robot Manipulation AI summary
Haolei Tong, Yuezhe Zhang, Sophie C. Lueth, Georgia Chalvatzaki
 View PDF
GRATE: A Graph Transformer-Based Deep Reinforcement Learning Approach for Time-Efficient Autonomous Robot Exploration AI summary
Haozhan Ni, Jingsong Liang, Chenyu He, Yuhong Cao, Guillaume Adrien Sartoretti
 View PDF
A Differential Dynamic Programming Framework for Inverse Reinforcement Learning AI summary
Kun Cao, Xinhang Xu, Wanxin Jin, Karl H. Johansson, Lihua Xie
 View PDF
Integrated Planning and Control on Manifolds: Factor Graph Representation and Toolkit AI summary
PEIWEN YANG, Weisong Wen, Runqiu Yang, Yuanyuan Zhang, Jiahao Hu, Yingming Chen, Naigui XIAO, Jiaqi ZHAO
 View PDF
Follow Everything: Goal-Aware Adaptation and Graph-Based Planner for Arbitrary Leader Following AI summary
Qianyi Zhang, Shijian Ma, Boyi Liu, Jingtai Liu, Jianhao Jiao, Dimitrios Kanoulas
 View PDF
RaCo-SLAM: A Physics-Informed 4D Radar SLAM with Co-Visibility Consistency Factor AI summary
Zishun Deng, Wanbiao Lin, Can Li, Teng Wang, Chao Guo, Jiawei Shen, Lei Sun
 View PDF
SM$^2$ITH: Safe Mobile Manipulation with Interactive Human Prediction Via Task-Hierarchical Bilevel Model Predictive Control AI summary
Francesco D'Orazio, Sepehr Samavi, Xintong Du, Siqi Zhou, Giuseppe Oriolo, Angela P. Schoellig
 View PDF
Self-Supervised Street Gaussians for Autonomous Driving AI summary
Nan Huang, Xiaobao Wei, Wenzhao Zheng, Pengju An, Ming Lu, Wei Zhan, Masayoshi Tomizuka, Kurt Keutzer, Shanghang Zhang
 View PDF
SoMaSLAM: 2D Graph SLAM for Sparse Range Sensing with Soft Manhattan World Constraints AI summary
Jeahn Han, Zichao Hu, Seonmo Yang, Minji Kim, Pyojin Kim
 View PDF
Towards Adaptable Humanoid Control Via Adaptive Motion Tracking AI summary
higher jumping height, (b) extended movement in badminton hitting, (c) extended movement in tennis hitting, and (d) longer jumping distance.
 View PDF
Direct Contact-Tolerant Motion Planning with Vision Language Models AI summary
He Li, Jian Sun, Chengyang Li, Guoliang Li, Qiyu Ruan, Shuai Wang,, and Chengzhong Xu
 View PDF
Open-Vocabulary Object-Goal Navigation by Generalizing Semantic Mapping with Dense CLIP AI summary
MENG WEI, Chenyang Wan, Tai Wang, Yuqiang Yang, Wenzhe Cai, Yilun Chen, Hanqing Wang, Jiangmiao Pang, Xihui Liu
 View PDF
OsmAG-LLM: Zero-Shot Open-Vocabulary Object Navigation Via Semantic Maps and Large Language Models Reasoning AI summary
Fujing Xie, Sören Schwertfeger, Hermann Blum
 View PDF
RGS: Reflection-Aware Gaussian Splatting Via Learning Geometry Continuity for Reflective Objects AI summary
Xiaobiao Du, Yida Wang, Cheng Bi, Kun Zhan, Yu Xin
 View PDF
PokeNet: Learning Kinematic Models of Articulated Objects from Human Observations AI summary
Anmol Gupta, Weiwei Gu, Omkar Deepak Patil, Jun Ki Lee, Nakul Gopalan
 View PDF
Towards Real-World Identification of Fatigued Muscle Groups Via Musculoskeletal Simulation AI summary
Jenishkumar Chauhan, Samarth Brahmbhatt, Vineet Vashista
 View PDF
Knowledge Optical to Sonar (KnOTS): Towards the Transfer of Knowledge of Underwater Object Detection from Optical to Forward-Looking Sonar Imagery AI summary
Caroline Keenan, Ella Wawrzynek, David Whelihan, Ivy Mahncke, John Leonard, Madeline Miller
 View PDF
Embedded Hierarchical MPC for Autonomous Navigation AI summary
Dennis Benders, Johannes Köhler, Thijs Niesten, Robert Babu�ka, Javier Alonso-Mora, Laura Ferranti
 View PDF
LSADS-Gaussian: Gaussian Splatting for Large-Scale Autonomous Driving Scene Reconstruction AI summary
Ping Wang, Ben Li, Bo Qian, Chuan Jin, Can Tian, Yusheng Ji
 View PDF
Viscoelasticity-Based Mechanistic Modeling and Control of Bending Pneumatic Muscles AI summary
Zishuo Zhao, Baoguo Xu, Jiajin Wang, Jianwei Lai, Yifei Wang, Huijun Li, Aiguo Song
 View PDF