Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 19 of 58
Title & Authors Actions
Graph-Of-Constraints Model Predictive Control for Reactive Multi-Agent Task and Motion Planning AI summary
Anastasios Manganaris, Jeremy Lu, Ahmed H. Qureshi, Suresh Jagannathan
 View PDF
A Passive Elastic-Folding Mechanism for Stackable Airdrop Sensors AI summary
Damyon Kim, Yuichi Honjo, Tatsuya Iizuka, Naomi Okubo, Naoto Endo, Hiroshi Matsubara, Yoshihiro Kawahara, Naoto Morita, Takuya Sasatani
 View PDF
LLM-Guided Task and Affordance-Level Exploration in Reinforcement Learning AI summary
Jelle Douwe Luijkx, RUNYU MA, Zlatan Ajanovic, Jens Kober
 View PDF
MonoMPC: Monocular Vision Based Navigation with Learned Collision Model and Risk-Aware Model Predictive Control AI summary
Basant Sharma, Prajyot Jadhav, Pranjal Paul, Madhava Krishna, Arun Kumar Singh
 View PDF
COMPASS: Confined-space Manipulation Planning with Active Sensing Strategy AI summary
Qixuan Li, Chen Le, Dongyue Huang, Jincheng Yu, Xinlei Chen
 View PDF
Fast-SmartWay: Panoramic-Free End-To-End Zero-Shot Vision-And-Language Navigation AI summary
Xiangyu Shi, Zerui Li, Yanyuan Qiao, Qi Wu
 View PDF
Vi-TacMan: Articulated Object Manipulation Via Vision and Touch AI summary
Leiyao Cui, Zihang Zhao, Sirui Xie, Wenhuan Zhang, Zhi Han, Yixin Zhu
 View PDF
USV with Interfacial Pumping for Efficient Microplastics Removal AI summary
Stephan Wagner, Yicong Fu, Sunghwan Jung, Kirstin Hagelskjaer Petersen
 View PDF
Drone Air Traffic Control: Tracking a Set of Moving Objects with Minimal Power AI summary
Chek-Manh Loi, Michael Perk, Malte Hoffmann, Sándor Fekete
 View PDF
CRASH: Context-Aware Recognition of Agents for Simulation of High‑risk Driving AI summary
Minhee Cho, Hayeon Jo, Dongbo Min
 View PDF
Dexterous Planar Pushing under Uncertain Object Properties: A Contact-Aware Goal-Oriented Approach AI summary
Yongseok Lee, Keehoon Kim
 View PDF
Neural Operators for Design-Space Surrogate Modeling of Tendon-Actuated Continuum Robots AI summary
Branden Frieden, James Ferguson, Alan Kuntz, Varun Shankar
 View PDF
Wirelessly Powered Zero Net Magnetic Torque Motor for Tissue Regenerating Robotic Implant AI summary
Jack Davies, Jialun Liu, Cameron Duffield, Zihan Zhao, Dana Damian, Shuhei Miyashita
 View PDF
Priority-Aware Multi-Robot Coverage Path Planning AI summary
Kanghoon Lee, Hyeonjun Kim, Jiachen Li, Jinkyoo Park
 View PDF
Sim2real Image Translation Enables Viewpoint-Robust Policies from Fixed-Camera Datasets AI summary
Jeremiah Coholich, Justin Wit, Robert Azarcon, Zsolt Kira
 View PDF
ARTEMIS: Autoregressive End-To-End Trajectory Planning with Mixture of Experts for Autonomous Driving AI summary
Renju Feng, Ning Xi, Duanfeng Chu, Rukang Wang, Zejian Deng, Anzheng Wang, Liping Lu, Jinxiang Wang, Yanjun Huang
 View PDF
Pair-VPR: Place-Aware Pre-Training and Contrastive Pair Classification for Visual Place Recognition with Vision Transformers AI summary
Stephen Hausler, Peyman Moghadam
 View PDF
LIDIA: Localizing in the Dark with Illumination-Awareness Toward Perception-Aware Planning AI summary
Iason Georgios Velentzas, Kento Tomita
 View PDF
High-Quality Sparse-View Gaussian Splatting without Ground-Truth Camera Poses AI summary
Chun Her Lim, Yingnan Guo, Wen Yang, Yu Zhang
 View PDF
Keypoint-Based Dynamic Object 6-DoF Pose Tracking Via Event Camera AI summary
Zhe Wang, Qijin Song, Zihao Li, Jingyu Xiao, Weibang Bai
 View PDF
Predictive Admittance Control for Aerial Physical Interaction AI summary
Ayham Alharbat, Chiara Gabellieri, Abeje Yenehun Mersha, Antonio Franchi
 View PDF
GFreeDet2: Exploiting Gaussian Splatting and Foundation Models for RGB-Based Model-Free 2D and 6D Detection of Unseen Objects AI summary
Gu Wang, Xingyu Liu, Jingyi Tang, Chengxi Li, Yingyue Li, Ziqin Huang, Xiangyang Ji
 View PDF
Stein Variational Ergodic Surface Coverage with SE(3) Constraints AI summary
Jiayun Li, Yufeng Jin, Sangli Teng, Dejian Gong, Georgia Chalvatzaki
 View PDF
Structured Pruning for Efficient Visual Place Recognition AI summary
Oliver Edward Grainge, Michael J Milford, Indu Bodala, Sarvapali Ramchurn, Shoaib Ehsan
 View PDF
VGGT-Long: Chunk It, Loop It, Align It -- Pushing VGGT's Limits on Kilometer-Scale Long RGB Sequences AI summary
Kai Deng, Zexin Ti, Xu Jiawei, Jian Yang, Jin Xie
 View PDF
On the Computation of Sensitivity Tubes AI summary
Andrea Pupa, Tommaso Belvedere, Cristian Secchi, Paolo Robuffo Giordano
 View PDF
Scalar-Measurement Attitude Estimation on SO(3) with Bias Compensation AI summary
Alessandro Melis, Tarek Bouazza, Hassan Alnahhal, Sifeddine Benahmed, Soulaimane Berkane, Tarek Hamel
 View PDF
DynOPETs: A Versatile Benchmark for Dynamic Object Pose Estimation and Tracking in Moving Camera Scenarios AI summary
Xiangting Meng, Jiaqi Yang, Mingshu Chen, Chenxin Yan, Yujiao Shi, Wenchao Ding, Laurent Kneip
 View PDF
AttBEV: Enhancing Multi-Modal 3D Object Detection with CBAM Attention in BEVFusion for Autonomous Driving AI summary
Na Zhang, Edmundo Guerra Paradas, Antoni Grau Saldes
 View PDF
DiffPlace: Street View Generation Via Place-Controllable Diffusion Model Enhancing Place Recognition AI summary
Ji Li, Zhiwei Li, ShiHao Li, ZhenJiang Yu, Boyang Wang, Haiou Liu
 View PDF
VFP: Variational Flow-Matching Policy for Multi-Modal Robot Manipulation AI summary
Xuanran Zhai, Qianyou Zhao, Qiaojun Yu, Ce Hao
 View PDF
E2-BKI: Evidential Ellipsoidal Bayesian Kernel Inference for Uncertainty-Aware Gaussian Semantic Mapping AI summary
Junyoung Kim, Minsik Jeon, Jihong Min, Kiho Kwak, Junwon Seo
 View PDF
B$^2$F-Map: Crowd-Sourced Mapping with Bayesian B-Spline Fusion AI summary
Yiping Xie, Yuxuan Xia, Erik Stenborg, Junsheng Fu, Axel Beauvisage, Gabriel E. Garcia, Tianyu Wu, Gustaf Hendeby
 View PDF
MonoKey: Keypoint-Based Monocular 3D Object Detection Using Prior Guidance for Occlusion Robustness AI summary
Yeon Woo Cho, Jung Woo Cheon, Jae Hyun Yoon, Seok Bong Yoo
 View PDF
Dynamics of Mental Models: Objective vs. Subjective User Understanding of a Robot in the Wild AI summary
Ferran Gebellí, Anais Garrell, Séverin Lemaignan, Raquel Ros
 View PDF
CropNeRF: A Neural Radiance Field-Based Framework for Crop Counting AI summary
Md Ahmed Al Muzaddid, William J. Beksi
 View PDF
Dual Prompt-Driven Feature Encoding for Nighttime UAV Tracking AI summary
Yiheng Wang, Changhong Fu, Liangliang Yao, Haobo Zuo, Zijie Zhang
 View PDF
Diffusion-Guided Generalizable Enhancer for Urban Scene Reconstruction AI summary
Henry Che, Jingkang Wang, Yun Chen, Ze Yang, Siva Manivasagam, Raquel Urtasun
 View PDF
From Swept Contact to Pose: Probe-Aware Registration Via Complementary-Shape Docking AI summary
Chen Chen, Yunwen Li, Yifan Xu, Xiangjie Yan, Chang Shu, Jianxia Hou, Shiji Song, Xiang LI
 View PDF
BOW: Bayesian Optimization Over Windows for Motion Planning in Complex Environments AI summary
Sourav Raxit, Abdullah Al Redwan Newaz, Paulo Padrao, Jose Fuentes, Leonardo Bobadilla
 View PDF
MultiDiffSense: Diffusion-Based Multi-Modal Visuo-Tactile Image Generation Conditioned on Object Shape and Contact Pose AI summary
Sirine Bhouri, Lan Wei, Jian-Qing Zheng, Dandan Zhang
 View PDF
Deep Sensorimotor Control by Imitating Predictive Models of Human Motion AI summary
Himanshu Gaurav Singh, Pieter Abbeel, Jitendra Malik, Antonio Loquercio
 View PDF
EMPERROR: A Flexible Generative Perception Error Model for Probing Self-Driving Planners AI summary
Niklas Hanselmann, Simon Doll, Marius Cordts, Hendrik Peter Asmus Lensch, Andreas Geiger
 View PDF
Hierarchical Online Learning for Adaptive Sampling of Discrete Species Distributions with an AUV AI summary
Jessica Todd, Seth McCammon, Dana Yoerger
 View PDF
GazeMoE: Perception of Gaze Target with Mixture-Of-Experts AI summary
Zhuangzhuang Dai, Zhongxi Lu, Vincent Gbouna Zakka, Luis J. Manso, Jose Maria Alcaraz Calero, Chen Li
 View PDF
TransDexNet: An End-To-End Motion Retargeting Network with Transformer for Dexterous Hand Teleoperation from RGB Images AI summary
jiaying Tan, Qing Gao, yuanchuan lai
 View PDF
Observer�Actor: Active Vision Imitation Learning with Sparse-View Gaussian Splatting AI summary
Yilong Wang, Cheng Qian, Ruomeng Fan, Edward Johns
 View PDF
DIAL-GS: Dynamic Instance Aware Reconstruction for Label-Free Street Scenes with 4D Gaussian Splatting AI summary
Chenpeng Su, Wenhua Wu, Chensheng Peng, Tianchen Deng, Zhe Liu, Hesheng Wang
 View PDF
NLiPsCalib: An Efficient Calibration Framework for High-Fidelity 3D Reconstruction of Curved Visuotactile Sensors AI summary
Xuhao Qin, Feiyu Zhao, Yatao Leng, Runze Hu, Chenxi Xiao
 View PDF
Query-Based Adaptive Aggregation for Multi-Dataset Joint Training Toward Universal Visual Place Recognition AI summary
Jiuhong Xiao, Yang Zhou, Giuseppe Loianno
 View PDF