Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 15 of 58
Title & Authors Actions
Task-Parameterized Motion Learning with Time-Sensitive Constraints AI summary
Julian Richter, João P. Oliveira, Christian Scheurer, Jochen J. Steil, Niels Dehio
 View PDF
DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability AI summary
Javier Borquez, Luke Raus, Yusuf Umut Ciftci, Somil Bansal
 View PDF
Complexity Reduction of the Three-Point Dubins Problem (3PDP) Via Symmetry Exploitation for Machine Learning Purposes AI summary
Marco Frego, Enrico Saccon, Davide De Martini, Luigi Palopoli
 View PDF
Learning Visuomotor Policy for Multi-Robot Laser Tag Game AI summary
Kai Li, Shiyu Zhao
 View PDF
Continuous-Time Line-Of-Sight Constrained Trajectory Planning for 6-Degree of Freedom Systems AI summary
Christopher Hayner, John Carson, Behcet Acikmese, Karen Leung
 View PDF
Uncertainty-Guided Proactive Adaptation for Visual-Inertial SLAM AI summary
Ehsan Ullah Khan, Gon-Woo Kim
 View PDF
A-SPAM: A Novel Asynchronous Semantic Padding and Matching Integrated Framework for Dynamic Loop Closure Detection AI summary
QiBin He, Yapeng Wang, Yanming CHAI, Qiyue Huang, Tiankui Zhang, KeiIm Sio, Jie Zhang
 View PDF
Density-Aware Point Cloud Upsampling Via Relational Graph Flow Matching AI summary
and Shicai Fan
 View PDF
Nnodely - Neuralize Your Model AI summary
Gastone Pietro Rosati Papini, Alice Plebe, Mojtaba Sharifzadeh, Mattia Piazza, Sebastiano Taddei, Giovanni Scialla, Francesco Baroni, Davide De Martini, Giovanni Maria Francesco La Scala, Gioele Defrancesco, Filippo Faccini
 View PDF
P3GASUS: Pre-Planned Path Execution Graphs for Multi-Agent Systems at Ultra-Large Scale AI summary
Tanishq Harish Duhan, Chengyang He, Guillaume Adrien Sartoretti
 View PDF
TacTape: Real-Time High-Accuracy Tactile Fiducial System with Structured 3D Texture for Vision-Based Tactile Sensors AI summary
Meng Wang, Wanlin Li, Qiuxuan Chen, Yuzhe Huang, Hang Li, Kaspar Althoefer, Ziyuan Jiao, Yao Su, Hangxin Liu
 View PDF
XPRESS: X-Band Radar Place Recognition Via Elliptical Scan Shaping AI summary
Hyesu Jang, Wooseong Yang, Ayoung Kim, DONGJE LEE, Hanguen Kim
 View PDF
H-MaP: An Iterative and Hybrid Sequential Manipulation Planner AI summary
Berk Cicek, Arda Sarp Yenicesu, Cankut Bora Tuncer, Kutay Demiray, Ozgur S. Oguz
 View PDF
A Hierarchical Framework for Real-Time Path Planning of Microswarm in Dynamic Environments AI summary
Yamei Li, Ruijian Ge, Aoji Zhu, Jiachi Zhao, Danjing Shi, Yinghan Sun, Yangmin Li, Lidong Yang
 View PDF
Teamformer: Scalable Heterogeneous Multi-Robot Team Formation AI summary
Noah Boehme, Geoffrey Hollinger
 View PDF
Towards Indirect Data-Driven Predictive Control for Heating Phase of Thermoforming Process AI summary
Hadi Hosseinionari, Mohammad Bajelani, Klaske van Heusden, Abbas S. Milani, Rudolf Seethaler
 View PDF
A Path Planning Strategy for Robotic Bronchoscopic Multi-Sample Biopsy AI summary
Qiqi Pan, Jingjing Luo, Yongfei Feng, Wenke Duan, Shijie Guo, Wang Hongbo
 View PDF
Data-Driven Control Optimization on Frequency Response for Fast and Precise Motion of Flexible Joint Robots AI summary
Deokjin Lee, Junho Song, Sehoon Oh
 View PDF
A Type of Actuator with Large Deformation and Load Capacity: Design and Modeling AI summary
Lingzhe Meng, Xinyu Wang, Zhuhong Ying, Mingxuan Ding, Peng Jia, Feihong Yun, Gang Wang
 View PDF
Learn to Teach: Sample-Efficient Privileged Learning for Humanoid Locomotion Over Real-World Uneven Terrain AI summary
Feiyang Wu, Xavier Nal, Jaehwi Jang, Wei Zhu, Zhaoyuan Gu, Anqi Wu, Ye Zhao
 View PDF
EZ-SP: Fast and Lightweight Superpoint-Based 3D Segmentation AI summary
Louis Geist, Loic Landrieu, Damien Robert
 View PDF
3DFacePolicy: Speech-Driven 3D Facial Animation Based on Diffusion Policy AI summary
Xuanmeng Sha, Liyun Zhang, Tomohiro Mashita, Naoya Chiba, Yuki Uranishi
 View PDF
A Two-Stage Framework for Ego-Centric Key Object Identification Via Object State Prediction AI summary
Shihong Ling, Yue Wan, Xiaowei Jia, Na Du
 View PDF
OMCL: Open-Vocabulary Monte Carlo Localization AI summary
Evgenii Kruzhkov, Raphael Memmesheimer, Sven Behnke
 View PDF
Learning from Planned Data to Improve Robotic Pick-And-Place Planning Efficiency AI summary
Liang Qin, Weiwei Wan, Jun Takahashi, Ryo Negishi, Masaki Matsushita, Kensuke Harada
 View PDF
Load-Bearing Assessment for Safe Locomotion of Quadruped Robots on Collapsing Terrain AI summary
Vivian Suzano Medeiros, Giovanni Battista Dessy, Thiago Boaventura, Marcelo Becker, Claudio Semini, Victor Barasuol
 View PDF
TOCALib: Optimal Control Library with Interpolation for Bimanual Manipulation and Obstacles Avoidance AI summary
Yulia Danik, Dmitry Makarov, Aleksandra Arkhipova, Sergei Davidenko, Aleksandr Panov
 View PDF
Multi-Robot Collision Avoidance with Probabilistic Mahalanobis Distance Constraints AI summary
Zhaodong Chen, Dingfu Liu, Chuqing Feng, Yunxiao Shan
 View PDF
Robust Real-Time Sampling-Based Motion Planner for Autonomous Vehicles in Narrow Environments AI summary
Minsoo Kim, Arthur Esquerre-Pourtère, Jaeheung Park
 View PDF
The Empirical Turn in Robot Ethics: Reconciling Theoretical Thought Experiments with Practical Reality AI summary
Yueh-Hsuan Weng, David Torabi, Jim Torresen, Zonghao Dong, Yasuhisa Hirata
 View PDF
Constraint Manifold Exploration for Efficient Continuous Coverage Estimation AI summary
Robert Wilbrandt, Rüdiger Dillmann
 View PDF
STITCH 2.0: Extending Augmented Suturing with EKF Needle Estimation and Thread Management AI summary
Kush Hari, Ziyang Chen, Hansoul Kim, Ken Goldberg
 View PDF
Model-Free Subsurface Anomaly Detection Using Subspace Analysis Techniques for Sparse Telemetry for Extraterrestrial Drilling Robots AI summary
Sarah Boelter, Greta Brown, Ebasa Temesgen, Lucas Weber, Thomas Stucky, Brian Glass, Maria Gini
 View PDF
Mixture-Of-Experts Policy for Smooth and Stable Multi-Posture Fall Recovery in Bipedal Robot AI summary
Haomin Rong, Yuying Chen, Zhiyong Xu, Lijie Xie, Qingyu Yan, Hui Cheng
 View PDF
DualMap: Online Open-Vocabulary Semantic Mapping for Natural Language Navigation in Dynamic Changing Scenes AI summary
Jiajun Jiang, Yiming Zhu, Zirui Wu, Jie Song
 View PDF
A General Approach to Path Planning within C-Space Safe Corridors AI summary
Riccardo Abbati, Marco Riboli, Michel Rosselli, Alessandro Tasora, Marco Silvestri
 View PDF
Interactive Robotic Moving Cable Segmentation by Motion Correlation AI summary
Ondrej Holesovsky, Radoslav Skoviera, Vaclav Hlavac
 View PDF
Quadrotor Navigation Using Reinforcement Learning with Privileged Information AI summary
Jonathan Lee, Abhishek Rathod, Kshitij Goel, John Stecklein, Wennie Tabib
 View PDF
Zero-Shot Metric Depth Estimation Via Monocular Visual-Inertial Rescaling for Autonomous Aerial Navigation AI summary
Steven Yang, Xiaoyu Tian, Kshitij Goel, Wennie Tabib
 View PDF
Beyond Pairwise Costs: Hyper Graph of Convex Sets for Smoothness-Aware Trajectory Planning AI summary
Yunyi Zhang, Meng Guo, Zhongkui Li
 View PDF
Estimating Trust in Human-Robot Collaboration through Behavioral Indicators and Explainability AI summary
Giulio Campagna, Marta Lagomarsino, Marta Lorenzini, Dimitrios Chrysostomou, Matthias Rehm, Arash Ajoudani
 View PDF
Non-Rigid Motion Compensation with Skin Deformation Prediction for in Situ Bioprinting AI summary
Lénaïc Cuau, Philippe Poignet, Nabil Zemiti
 View PDF
ED-SLAM: Event-Depth Gaussian Splatting SLAM AI summary
Jian Huang, Haotian Shen, Xinhao Lou, Peidong Liu
 View PDF
VeriGraph: Scene Graphs for Execution Verifiable Robot Planning AI summary
Daniel Ekpo, Mara Levy, Saksham Suri, Chuong Huynh, Archana Swaminathan, Abhinav Shrivastava
 View PDF
Semantic Hierarchy-Guided Adversarial Attack for Autonomous Driving AI summary
Gwangbin Kim, SeungJun Kim
 View PDF
Targetless LiDAR-Camera Calibration with Neural Gaussian Splatting AI summary
Haebeom Jung, Namtae Kim, Jungwoo Kim, Jaesik Park
 View PDF
A Kinesthetic Teaching Framework for Tasks With Contact Transitions and Time-Optimized Execution AI summary
Nikolas Thelenberg, Christian Ott
 View PDF
Mapping-Guided Task Discovery and Allocation for Robotic Inspection of Underwater Structures AI summary
Marina Ruediger, Ashis Banerjee
 View PDF
Graph Neural Planning and Predictive Control for Multi-Robot Communication-Constrained Unlabeled Motion Planning AI summary
Manohari Goarin, Yang Zhou, Giuseppe Loianno
 View PDF
Multi-Robot Obstacle-Aware Shepherding of Non-Cohesive Target Agents AI summary
Cinzia Tomaselli, Stefano Covone, Andreagiovanni Reina, Mario di bernardo
 View PDF