Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 16 of 58
Title & Authors Actions
SoftMimic: Learning Compliant Whole-body Control from Examples AI summary
Gabriel Margolis, Michelle Wang, Nolan Fey, Pulkit Agrawal
 View PDF
Pc-dbCBS: Kinodynamic Motion Planning of Physically-Coupled Robot Teams AI summary
Khaled Wahba, Wolfgang Hoenig
 View PDF
Learning Motion Skills with Adaptive Assistive Curriculum Force in Humanoid Robots AI summary
Zhanxiang Cao, Yang Zhang, Buqing Nie, Huangxuan Lin, Haoyang Li, Yizhi Chen, Xiaokang Yang, Yue Gao
 View PDF
ADGaussian: Generalizable Gaussian Splatting for Autonomous Driving Via Multi-Modal Joint Learning AI summary
Qi Song, Chenghong Li, Haotong Lin, Sida Peng, Rui Huang
 View PDF
Active Next-Best-View Optimization for Risk-Averse Path Planning AI summary
Amirhossein Mollaei Khass, Guangyi Liu, Vivek Pandey, Wen Jiang, Boshu Lei, Kostas Daniilidis, Nader Motee
 View PDF
Hi-Drive: Hierarchical POMDP Planning for Safe Autonomous Driving in Diverse Urban Environments AI summary
Xuanjin Jin, Chendong Zeng, Shengfa Zhu, Chunxiao Liu, Panpan Cai
 View PDF
Viability-Preserving Passive Torque Control AI summary
Zizhe Zhang, Yicong Wang, Zhiquan Zhang, Tianyu Li, Nadia Figueroa
 View PDF
Koopman Representation of Nonlinear Virtual Environments in Kinesthetic Haptic Systems AI summary
Yanting Zhou, Jozsef Kovecses, James Richard Forbes
 View PDF
MILD: Tractable Terrain Modeling for Learning Improved Bipedal Locomotion on Deformable Surfaces AI summary
Zeren Luo, Jiahui ZHANG, Zhe Xu, Wanyue Li, Xinqi Li, Xuechao Chen, Zhangguo YU, Annan Tang, Peng Lu
 View PDF
Communication-Efficient and Context-Adaptive Collaborative Perception AI summary
Wenyu Lu, Hui Zhang, Yuquan Yang, ZiYin Zhang, Xiaohua Xu
 View PDF
Enhancing Reusability of Learned Skills for Robot Manipulation Via Gaze Information and Motion Bottlenecks AI summary
Ryo Takizawa, Izumi Karino, Koki Nakagawa, Yoshiyuki Ohmura, Yasuo Kuniyoshi
 View PDF
Unveiling Uncertainty-Aware Autonomous Cooperative Learning Based Planning Strategy AI summary
Shiyao Zhang, Liwei Deng, Shuyu Zhang, Weijie Yuan, Hong Zhang
 View PDF
Deep Reinforcement Learning-Based Motion Planning and PDE Control for Flexible Manipulators AI summary
Amir Hossein Barjini, Seyed Adel Alizadeh Kolagar, Sadeq Yaqubi, Jouni Mattila
 View PDF
Non-Submodular Visual Attention for Robot Navigation AI summary
Reza Vafaee, Kian Behzad, Milad Siami, Luca Carlone, Ali Jadbabaie
 View PDF
TetherBot: A Power-Tethered sUAS Platform for Autonomous Vertical Atmospheric Profiling AI summary
Daniel Rico, Francisco Munoz-Arriola, Justin Bradley
 View PDF
A Modular Residual Learning Framework to Enhance Model-Based Approach for Robust Locomotion AI summary
Min-Gyu Kim, Dongyun Kang, Hajun Kim, Hae-Won Park
 View PDF
Path Planning for Four-Wheel Steering Forklifts in Constrained Spaces: A State-Embedded Hamiltonian Fast Marching Approach AI summary
Julien Pascal, Jean-Marie Mirebeau, Benoit Thuilot and Paul Checchin
 View PDF
Learning Semantic Priorities for Autonomous Target Search AI summary
Max Lodel, Nils Wilde, Robert Babuska, Javier Alonso-Mora
 View PDF
SVN-ICP: Uncertainty Estimation of ICP-Based LiDAR Odometry Using Stein Variational Newton AI summary
Shiping Ma, Haoming Zhang, Marc Toussaint
 View PDF
SUBTA: A Framework for Supported User-Guided Bimanual Teleoperation in Structured Assembly AI summary
Xiao Liu, Prakash Baskaran, Songpo Li, Simon Manschitz, Wei Ma, Dirk Ruiken, Soshi Iba
 View PDF
Rainbow-DemoRL: Combining Improvements in Demonstration-Augmented Reinforcement Learning AI summary
Dwait Bhatt, Shih-Chieh Chou, Nikolay Atanasov
 View PDF
AQUA-SLAM: Tightly-Coupled Underwater Acoustic-Visual-Inertial SLAM with Sensor Calibration AI summary
Shida Xu, Kaicheng Zhang, Sen Wang
 View PDF
RelMap: Enhancing Online Map Construction with Class-Aware Spatial Relation and Semantic Priors AI summary
Tianhui Cai, Yun Zhang, Zewei Zhou, Zhiyu Huang, Jiaqi Ma
 View PDF
DKPMV: Dense Keypoints Fusion from Multi-View RGB Frames for 6D Pose Estimation of Textureless Objects AI summary
Jiahong Chen, JingHao Wang, Zi Wang, Ziwen Wang, Banglei Guan, Qifeng Yu
 View PDF
Differentiable Contact Dynamics for Stable Object Placement under Geometric Uncertainties AI summary
Linfeng Li, Gang Yang, Lin Shao, David Hsu
 View PDF
Learning Collision-Free Object Goal Pushing for Quadruped Robots with Safe Corridors AI summary
Gabriel Lai, Yi Wong, Chung Yui Yeung, Shaohang Xu, Zhi Chen, Chin Pang Ho
 View PDF
Learning Sidewalk Autopilot from Multi-Scale Imitation with Corrective Behavior Expansion AI summary
Honglin He, Yukai Ma, Brad Squicciarini, Wayne Wu, Bolei Zhou
 View PDF
A Novel Soft Gripper Design Integrating a Unilateral Fingernail-Like Mechanism for Grasping Flat Object AI summary
Wanyu MA, Xuyang Ren, Zheng Li
 View PDF
Quasimetric Decision Transformers: Enhancing Goal-Conditioned Reinforcement Learning with Structured Distance Guidance AI summary
MADHAV GOYANI, Heidar Davoudi, Mehran Ebrahimi
 View PDF
ST-GS: Vision-Based 3D Semantic Occupancy Prediction with Spatial-Temporal Gaussian Splatting AI summary
Xiaoyang Yan, Muleilan Pei, Shaojie Shen
 View PDF
Motion Planning with Precedence Specifications Via Augmented Graphs of Convex Sets AI summary
Shilin You, Gael Luna, Juned Shaikh, David Gostin, Yu Xiang, Justin Koeln, Tyler Summers
 View PDF
360DVO: Deep Visual Odometry for Monocular 360-Degree Camera AI summary
Xiaopeng Guo, Yinzhe XU, Huajian Huang, Sai-Kit Yeung
 View PDF
SURE: Semi-Dense Uncertainty-REfined Feature Matching AI summary
Sicheng Li, Zaiwang Gu, Jie Zhang, Qing Guo, Xudong Jiang, Jun Cheng
 View PDF
ROOM-3D: Real-Time Unsupervised Online 3D Room Segmentation AI summary
Rafael Flor Rodríguez-Rabadán, Carlos Gutiérrez Álvarez, Alexis Bañuls-González, Sergio Lafuente-Arroyo, Saturnino Maldonado-BascÃ3n, Roberto J. LÃ3pez-Sastre
 View PDF
Mobile Manipulation Instruction Generation from Multiple Images with Automatic Metric Enhancement AI summary
Kei Katsumata, Motonari Kambara, Daichi Yashima, Ryosuke Korekata, Komei Sugiura
 View PDF
Efficient Multi-Objective Planning with Weighted Maximization Using Large Neighbourhood Search AI summary
Krishna Kalavadia, Shamak Dutta, Yash Vardhan Pant, Stephen L. Smith
 View PDF
AnyGeometry-CBS: Any Geometry Conflict-Based Search for Multi-Agent Path Finding AI summary
Yichen Li, Xuebo Zhang, Jingjin Yu, Yaonan Wang
 View PDF
Flexible Trajectory Planning for Autonomous Vehicles Via Environmental Assessment in Extreme Scenarios AI summary
Xiang Li, Ke Lin, Xiaoqing Yang, Kejian Yan, Yanjie Li, Yunjiang Lou
 View PDF
SPOT: Spatio-Temporal Trajectory Planning for UAVs in Unknown Dynamic Environments AI summary
Astik Srivastava, Bhanu Teja Bitla, Thomas J Chackenkulam, Antony Thomas, Madhava Krishna
 View PDF
CDV-SLAM: Compact Deep Visual SLAM with Unified Semantic and Geometric Perception AI summary
Ya Fan, Rongling Lang
 View PDF
Bi-Adapt: Few-Shot Bimanual Adaptation for Novel Categories of 3D Objects Via Semantic Correspondence AI summary
Jinxian Zhou, Ruihai Wu, Yiwei Liu, Checheng Yu, Xunzhe Zhou, Yiwen Hou, Licheng Zhong, Lin Shao
 View PDF
LighterBEV: LiDAR Global Localization Meets Online Learning AI summary
BinHong Liu, Tao Yang, Haoji Cao, Shuqi FU, YangWang Fang, Zhi Yan
 View PDF
When the Adversary Knows You Better: Adversarial Training for Learning-Based Legged Robots AI summary
Qinchao Xu, Satoshi Yagi, Satoshi Yamamori, Jun Morimoto
 View PDF
The Temporal Trap: Entanglement in Pre-Trained Visual Representations for Visuomotor Policy Learning AI summary
Nikolaos Tsagkas, Andreas Sochopoulos, Duolikun Danier, Chris Xiaoxuan Lu, Oisin Mac Aodha
 View PDF
A High-Payload Wall-Climbing Robot Using Passive Bistable Suction Cups AI summary
Andrew Nguyen, Mingyuan Li, Daniel Bruder
 View PDF
HUNT: High-Speed UAV Navigation and Tracking in Unstructured Environments Via Instantaneous Relative Frames AI summary
Alessandro Saviolo, Jeffrey Mao, Giuseppe Loianno
 View PDF
A Dual-Channel Framework for Blind Perceptual Quality Assessment in Bilateral Teleoperation AI summary
Zican Wang, Xiao Xu, Zhi Jin, Dong Yang, Eckehard Steinbach
 View PDF
EveryDayVLA: A Vision-Language-Action Model for Affordable Robotic Manipulation AI summary
Samarth Chopra, Alexander McMoil, Benjamin Carnovale, Evan Sokolson, Rajkumar Kubendran, Samuel Dickerson
 View PDF
GARO: Geometry-Aware Redundancy Optimization for Real-Time and High-Fidelity Dynamic Gaussian Splatting AI summary
Huiwen Xue, Kaixing Zhao, Zuheng MING, Tingcheng Li
 View PDF
An Alignment-Based Approach to Learning Motions from Demonstrations AI summary
Alex Cuellar, Christopher K Fourie, Julie A. Shah
 View PDF