Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 17 of 58
Title & Authors Actions
Energy-Aware Informative Path Planning for Heterogeneous Multi-Robot Systems AI summary
Aiman Munir, Ayan Dutta, Ramviyas Parasuraman
 View PDF
Supportive Relationships-Aware Hierarchical Reinforcement Learning for Efficient Ex-Situ Object Rearrangement AI summary
leibing xiao, Xuemei Wang, Zhao Zhongqiang, Yachao Wang, Jin Liu, Chaoqun Wang
 View PDF
CollabVLA: Self-Reflective Vision-Language-Action Model Dreaming Together with Human AI summary
Nan Sun, Yongchang Li, Chenxu Wang, Bo Mao, Huiying Li, jiahe yao, kanghao li, Yifan zhang, Jian Liu, Guoying Zhang, Di Guo, Huaping Liu
 View PDF
Robust LPV Modeling of Precision Motion Systems Via Edge-Theorem Verification AI summary
Yazan Al-Rawashdeh, Mohammad Al Janaideh
 View PDF
An End-To-End Trajectory Planner for Safe and Efficient Navigation in Crowded Dynamic Environments AI summary
Shuting Zhang, Haowen Wang, Guangchen Li
 View PDF
Progress Constraints for Reinforcement Learning in Behavior Trees AI summary
Finn Rietz, Mart Karta�ev, Petter Ogren, Johannes A. Stork
 View PDF
RUMI: Rummaging Using Mutual Information AI summary
Sheng Zhong, Nima Fazeli, Dmitry Berenson
 View PDF
Degradation-Aware LiDAR-Thermal-Inertial SLAM AI summary
Yu Wang, Yufeng Liu, Lingxu Chen, Haoyao Chen, Shiwu Zhang
 View PDF
LUDO: Low-Latency Understanding of Deformable Objects Using Point Cloud Occupancy Functions AI summary
Pit Henrich, Franziska Mathis-Ullrich, Paul Maria Scheikl
 View PDF
DiSPo: Diffusion-SSM Based Policy Learning for Coarse-To-Fine Action Discretization AI summary
Nayoung Oh, Jaehyeong Jang, Moonkyeong Jung, Daehyung Park
 View PDF
Hierarchical Planning for Vehicle Routing and Scheduling in Marsupial Robotic Systems AI summary
Donghyun Kim, Jinwhan Kim
 View PDF
Voronoi-Based Second-Order Descriptor with Whitened Metric in LiDAR Place Recognition AI summary
Jaein Kim, HEE BIN YOO, Dong-Sig Han, Byoung-Tak Zhang
 View PDF
Spectral Decomposition of Inverse Dynamics for Fast Exploration in Model-Based Manipulation AI summary
Solvin Sigurdson, Benjamin Riviere, Joel Burdick
 View PDF
Throw Maneuver: Exact Trajectories for Invariant Target Hitting in Robotic Throwing AI summary
Sheng Cheng, Ziyin Han, Rong Wang, NAIRA HOVAKIMYAN
 View PDF
C-Free-Uniform: A Map-Conditioned Trajectory Sampler for Model Predictive Path Integral Control AI summary
Yukang Cao, Rahul Moorthy Mahesh, Oguzhan Goktug Poyrazoglu, Volkan Isler
 View PDF
HITL-D: Human in the Loop Diffusion Assisted Shared Control AI summary
Riley Zilka, Sergey Khlynovskiy, Allie Wang, Martin Jagersand
 View PDF
Onion-LO++: An Adaptive and Degradation Resistant Continuous-Time LiDAR Odometry AI summary
Xiaolong Cheng, Ye Sun, Keke Geng, Tianxiao Ma, Zhichao Liu
 View PDF
Multi-Dimensional Perturbation Strategies for Adversarial Attacks in Multi-Agent Deep Reinforcement Learning AI summary
Runwen Chen, shuo feng, Tianzhe Qi, yucheng shi, Xiaorong Hu, Yang Zhao, bo sun, Zhao Jin, Yizhe Luo, Mingliang Xu
 View PDF
Bridging Policy and Real-World Dynamics: LLM-Augmented Rebalancing for Shared Micromobility Systems AI summary
Heng Tan, Hua Yan, Yu Yang
 View PDF
Consistency-Driven Confidence Estimation for Stereo Matching AI summary
SHUHENG LU, Zaiwang Gu, Xudong Jiang, Jun Cheng
 View PDF
Self-Wearing Adaptive Garments Via Soft Robotic Unfurling AI summary
Nam Gyun Kim, William Heap, Yimeng Qin, Elvy Yao, Jee-Hwan Ryu, Allison M. Okamura
 View PDF
Omnidirectional Dual-Arm Aerial Manipulator with Proprioceptive Contact Localization for Landing on Slanted Roofs AI summary
Martijn B.J. Brummelhuis, Nathan F. Lepora, Salua Hamaza
 View PDF
Viper: Verifiable Imitation Learning Policy for Efficient Robotic Manipulation AI summary
Xianfeng Cheng, Qing Gao, Guangyu Chen, Rui Xiong, Junjie Hu, Yulan Guo, Zhaojie Ju
 View PDF
Breaking the Static Assumption: A Dynamic-Aware LIO Framework Via Spatio-Temporal Normal Analysis AI summary
Zhiqiang Chen, Cedric Le Gentil, Fuling Lin, Minghao Lu, Qiyuan Qiao, Bowen Xu, Yuhua Qi, Peng Lu
 View PDF
TCB-VIO: Tightly-Coupled Focal-Plane Binary-Enhanced Visual Inertial Odometry AI summary
Matthew Lisondra, Junseo Kim, Takashi Glenn Shimoda, Kourosh Zareinia, Sajad Saeedi
 View PDF
Exploring Vision-Language Models for Open-Vocabulary Zero-Shot Action Segmentation AI summary
Asim Unmesh, Ramesh Kaki, Rahul Jain, Mayank Patel, Karthik Ramani
 View PDF
AMG-SLAM: Adaptive Monocular Gaussian SLAM for Efficient Surface Reconstruction AI summary
Youqi Pan, Wugen Zhou, Hongbin Zha
 View PDF
PIPS: Planar Instance 3D Reconstruction Leveraging Planar Structural Priors AI summary
Jiahui Wang, Ye Chen, Yinan Deng, Yi Yang, Yufeng Yue
 View PDF
TeachingBot: Robot Teacher for Human Handwriting AI summary
Zhimin Hou, Cunjun Yu, David Hsu, Haoyong Yu
 View PDF
EquiMus: Energy-Equivalent Dynamic Modeling and Simulation of Musculoskeletal Robots Driven by Linear Elastic Actuators AI summary
Yinglei Zhu, Xuguang Dong, Qiyao Wang, Qi Shao, Fugui Xie, Xin-Jun Liu, Huichan Zhao
 View PDF
Proprioceptive Shape Estimation of Tensegrity Manipulators Using Energy Minimisation AI summary
Tufail Ahmad BHAT, Shuhei Ikemoto
 View PDF
Memory Efficient Point Cloud Registration Accelerator on FPGA AI summary
Chang Qiong, Dongqi Cai, Ran Dong, Junpei Zhong
 View PDF
Multimodal Diffusion Forcing for Forceful Manipulation AI summary
Zixuan Huang, Huaidian Hou, Dmitry Berenson
 View PDF
Robust and Real-Time Surface Normal Estimation from Stereo Disparities Using Affine Transformations AI summary
Muhammad Rafi Faisal, Csongor Csanád Karikó, Levente Hajder
 View PDF
Practical and Performant Enhancements for Maximization of Algebraic Connectivity AI summary
Leonard Jung, Alan Papalia, Kevin Doherty, Michael Everett
 View PDF
Learning Conservative Neural Control Barrier Functions from Demonstrations AI summary
Ihab Tabbara, Hussein Sibai
 View PDF
SaferPath: Hierarchical Visual Navigation with Learned Guidance and Safety-Constrained Control AI summary
Lingjie Zhang, Zeyu Jiang, Changhao Chen
 View PDF
VERM: Leveraging Foundation Models to Create a Virtual Eye for Efficient 3D Robotic Manipulation AI summary
Yixiang Chen, Yan Huang, Keji He, Peiyan Li, Liang Wang
 View PDF
A Hyperspectral Imaging Guided Robotic Grasping System AI summary
Zheng SUN, Zhipeng Dong, Shixiong Wang, zhongyi chu, Fei Chen
 View PDF
DexKnot: Generalizable Visuomotor Policy Learning for Dexterous Bag-Knotting Manipulation AI summary
Jiayuan Zhang, Ruihai Wu, Haojun Chen, Yuran Wang, Yifan Zhong, Ceyao Zhang, Yaodong Yang, Yuanpei Chen
 View PDF
Agile Trajectory Planning and Large Obstacle Avoidance for Formation Flight Using a Virtual Core AI summary
Jingsen Zhang, Hou Biao, Rui Huang
 View PDF
Reference-Free Sampling-Based Model Predictive Control AI summary
Fabian Schramm, Pierre Fabre, Nicolas Perrin-Gilbert, Justin Carpentier
 View PDF
Kinodynamic Task and Motion Planning Using VLM-Guided and Interleaved Sampling AI summary
Minseo Kwon, Young J. Kim
 View PDF
Real-Time Communication Relay Planning with a Low-Complexity Network Quality Prediction Model in Dynamic Indoor Missions AI summary
Jaemin Seo, Jongyun Kim, Seunghwan Kim, Changseung Kim, Woojae Shin, Hyondong Oh
 View PDF
Relationship-Aware Hierarchical 3D Scene Graph for Task Reasoning AI summary
Albert Gassol Puigjaner, Angelos Zacharia, Kostas Alexis
 View PDF
CPBA-LIWO: Continuous-Time LiDAR-Inertial-Wheel Odometry Based on Probabilistic Bundle Adjustment AI summary
Song Wu, Yunzhou Zhang, Yuezhang Lv, Wu Li, Sizhan Wang, Su Yan, Hengwang Ding
 View PDF
GraspGen: A Diffusion-Based Framework for 6-DOF Grasping with On-Generator Training AI summary
Adithyavairavan Murali, Balakumar Sundaralingam, Yu-Wei Chao, Wentao Yuan, Jun Yamada, Mark Carlson, Fabio Ramos, Stan Birchfield, Dieter Fox, Clemens Eppner
 View PDF
RAMBO: RL-Augmented Model-Based Whole-Body Control for Loco-Manipulation AI summary
Jin Cheng, Dongho Kang, Gabriele Fadini, Guanya Shi, Stelian Coros
 View PDF
SPLC: Social Preference Learning for Crowd Robot Navigation AI summary
Zixuan Chen, Hao Fu, Haiwen Hu, Shiquan Zheng
 View PDF
Moth: A Low-Cost IR-Based Approach towards Autonomous Precision Drone Landing AI summary
Yanchen Liu, Minghui Zhao, Kaiyuan Hou, Junxi Xia, Charles Carver, Stephen Xia, Xia Zhou, Xiaofan Jiang
 View PDF