Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 31 of 58
Title & Authors Actions
VISTA: Generative Visual Imagination for Vision-And-Language Navigation AI summary
Yanjia Huang, Mingyang Wu, Renjie Li, Zhengzhong Tu
 View PDF
UAV-SAR: Simultaneous Radar-Based Odometry and Synthetic-Array Sensing for Unmanned Aerial Vehicles AI summary
David Hunt, Shaocheng Luo, Samuel Rivera, Aarav Prakash, Cameron Morris, Tingjun Chen, Miroslav Pajic
 View PDF
Perception of Social Robots as Communication Partners in Healthcare for Older Adults AI summary
Hana Yamamoto, Carlotta Julia Mayer, Charlotte Raithel, Theresa Buchner, Christian Werner, Yasuhisa Hirata, Monika Eckstein, Katja Mombaur
 View PDF
Disaster-Aware Informative Path Planning in Emergency Response Scenarios AI summary
Xinya Cheng, Na Liu
 View PDF
Limiting Kinetic Energy through Control Barrier Functions: Analysis and Experimental Validation AI summary
Federico Califano, Daniël Dylan Logmans, Wesley Roozing
 View PDF
In-The-Wild Compliant Manipulation with UMI-FT AI summary
Hojung Choi, Yifan Hou, Chuer Pan, Seongheon Hong, Austin Patel, Xiaomeng Xu, Mark Cutkosky, Shuran Song
 View PDF
STAGE: Structure-Adaptive Graph-Encoded Multi-Agent Policy Gradient for Moving Target Search in Uncertain Topological Networks AI summary
Qihang Peng, Lizhou Zhu, Lekai Chen, Hongliang Guo, Chih-yung Wen
 View PDF
DRL-SFM: Learning Social Navigation from Costmaps and Social Forces for Mobile Robots and Intelligent Wheelchairs AI summary
Matthias Kalenberg, Kilian Gerhard Probst, Andreas Gründer, Christopher May, Jonas Walter, Jörg Franke
 View PDF
Lyapunov-Based Control Barrier Functions for Real-Time Safe Navigation in Three-Dimension Complex Environments AI summary
Fuwei Zhang, Zhiwei Hou
 View PDF
Standing Tall: Sim to Real Fall Classification and Lead Time Prediction for Bipedal Robots AI summary
Gokul Prabhakaran, J.W Grizzle, M. Eva Mungai
 View PDF
A Nonlinear MPC for Physical Human-Aerial Robot Interaction in Collaborative Transportation Tasks AI summary
Antonio Gonzalez-Morgado, Jonas Soueidan, Guillermo Heredia, Anibal Ollero, Philippe Fraisse, Marco Tognon, Marco Cognetti
 View PDF
A Single Hydraulic Bellows-Based MRI-Safe Robotic Needle Driver Capable of Independent and Coupled Needle Translation and Rotation AI summary
Yufu Qiu, haiyang fang, Kwan Kit Lin, Shing Shin Cheng
 View PDF
Service Placement in Dynamic Multi-AGV Environments for Minimized Energy Consumption AI summary
Claudia Torres-Pérez, Estela Carmona-Cejudo, Cristina CervellÃ3-Pastor, Maryam Masoumi, Estefanía Coronado, Muhammad Shuaib Siddiqui
 View PDF
Multi-Modal Sensing in Colonoscopy: A Data-Driven Approach AI summary
Viola Del Bono, Emma Capaldi, Anushka Kelshiker, Ayhan Aktas, Hiroyuki Aihara, Sheila Russo
 View PDF
VGC-RIO: A Tightly Integrated Radar-Inertial Odometry with Spatial Weighted Doppler Velocity and Local Geometric Constrained RCS Histograms AI summary
Jianguang Xiang, Xiaofeng He, Zizhuo Chen, Lilian Zhang, Xincan Luo, and Jun Mao
 View PDF
OKVIS2-X: Open Keyframe-Based Visual-Inertial SLAM Configurable with Dense Depth or LiDAR, and GNSS AI summary
Simon Boche, Jaehyung Jung, Sebastián Barbas Laina, Stefan Leutenegger
 View PDF
Masquerade: Learning from In-The-Wild Human Videos Using Data-Editing AI summary
Marion Lepert, Jiaying Fang, Jeannette Bohg
 View PDF
A Benchmarking Study of Vision-Based Robotic Grasping Algorithms AI summary
Bharath Kumar Ramesh Babu, Sumukh Sreenivasarao Balakrishna, Brian Flynn, Vinayak Kapoor, Adam Norton, Holly Yanco, Berk Calli
 View PDF
From VO to NAO: Reactive Robot Navigation Using Velocity and Acceleration Obstacles AI summary
Asher Stern, Oz Ben-Yosef, Zvi Shiller
 View PDF
DANCeRS: A Distributed Algorithm for Negotiating Consensus in Robot Swarms with Gaussian Belief Propagation AI summary
Aalok Patwardhan, Andrew J Davison
 View PDF
Clutt3R-Seg: Sparse-View 3D Instance Segmentation for Language-Grounded Grasping in Cluttered Scenes AI summary
Jeongho Noh, Tai Hyoung Rhee, Eunho Lee, Jeongyun Kim, Sunwoo Lee, Ayoung Kim
 View PDF
DMRP-Bench: An Integrated, Unified Multi-Robot Motion Planning Benchmark in Dynamic Environments AI summary
zhijie hu, Xuebo Zhang, Runhua Wang, Yichen Li, Qingchen Bi
 View PDF
E2O-SLAM: A Hierarchical Visual SLAM Framework Using Edge-based and Object-level Representations AI summary
Eunseon Choi, Soohee Han
 View PDF
Investigating the Role of Implicit Signals in Adaptive User-Aware Human-Robot Interactions AI summary
Bálint Gucsi, Nguyen Tan Viet Tuyen, Bing Chu, Danesh Tarapore, Long Tran-Thanh
 View PDF
Shared Haptic Control for Surgical Skill Transfer on a Dual-Console Da Vinci Research Kit AI summary
Xiangyi Le, Nan Jiang, Pucheng Shao, Brendan Burkhart, Peter Kazanzides, Ugur Tumerdem
 View PDF
Virtual-Force Based Visual Servo for Multiple Peg-In-Hole Assembly with Tightly Coupled Multi-Manipulator AI summary
Jiawei Zhang, Chengchao Bai, Wei Pan, Jifeng Guo, Tianhang Liu
 View PDF
Adap-RPF: Adaptive Trajectory Sampling for Robot Person Following in Dynamic Crowded Environments AI summary
Weixi Situ, Hanjing Ye, Jianwei Peng, Yu Zhan, Hong Zhang
 View PDF
Orthogonal Pulse-Width-Modulation for Combined Electromagnetic Actuation and Localization AI summary
Denis von Arx, Bradley J. Nelson, Quentin Boehler
 View PDF
Uncertainty Comes for Free: Human-In-The-Loop Policies with Diffusion Models AI summary
Zhanpeng He, Yifeng Cao, Matei Ciocarlie
 View PDF
Moment Latent Reinforcement Learning for Pattern Control in Swarm Robotic Systems AI summary
Wei Zhang, Haoyu Quan, Jr-Shin Li
 View PDF
Flow-Enabled Generalization to Human Demonstrations in Few-Shot Imitation Learning AI summary
Runze Tang, Penny Sweetser
 View PDF
Stable Gravity Compensation and 6-DoF Manipulation of a Tethered Magnetic Endoscope with an Optimized End-Effector AI summary
Ahmed HOSSAMELDIN, Redwan Dahmouche, Omar Tahri
 View PDF
Look, Focus, Act: Efficient and Robust Robot Learning Via Human Gaze and Foveated Vision Transformers AI summary
Ian Chuang, Jinyu Zou, Andrew Lee, Dechen Gao, Iman Soltani
 View PDF
Image-Based Roadmaps for Vision-Only Planning and Control of Robotic Manipulators AI summary
Sreejani Chatterjee, Abhinav Gandhi, Berk Calli, Constantinos Chamzas
 View PDF
Emergent Co-Adaptive Strategies in Heterogeneous Multi-Robot Systems Via Meta-Learning AI summary
Hexiang Zheng, Xvchun He, Yuan Gao
 View PDF
RAMPA: Robotic Augmented Reality for Machine Programming by DemonstrAtion AI summary
Fatih DOGANGUN, Serdar Bahar, Yigit YILDIRIM, Bora Toprak Temir, Emre Ugur, Mustafa Doga Dogan
 View PDF
Underwater Dense Mapping with the First Compact 3D Sonar AI summary
Chinmay Burgul, Yewei Huang, Michalis Chatzispyrou, Ioannis Rekleitis, Alberto Quattrini Li, Marios Xanthidis
 View PDF
Multi-Robot Multi-Source Localization in Complex Flows with Physics-Preserving Environment Models AI summary
Benjamin Shaffer, Victoria Edwards, Brooks Kinch, Nathaniel Trask, M. Ani Hsieh
 View PDF
Inferring Foresightedness in Dynamic Noncooperative Games AI summary
Cade Armstrong, Ryan Park, Xinjie Liu, Kushagra Gupta, David Fridovich-Keil
 View PDF
Doppler-SLAM: Doppler-Aided Radar-Inertial and LiDAR-Inertial Simultaneous Localization and Mapping AI summary
Dong Wang, Hannes Haag, Daniel Casado Herraez, Stefan May, Cyrill Stachniss, Andreas Nuechter
 View PDF
CBF-RL: Safety Filtering Reinforcement Learning in Training with Control Barrier Functions AI summary
Lizhi Yang, Blake Werner, Massimiliano de Sa, Aaron Ames
 View PDF
Occupancy-aware Trajectory Planning for Autonomous Valet Parking in Uncertain Dynamic Environments AI summary
Farhad Nawaz Savvas Sadiq Ali, Faizan M. Tariq, Sangjae Bae, David Isele, Avinash Singh, Nadia Figueroa, Nikolai Matni, Jovin D'sa
 View PDF
Multi-Horizon Lane Change Maneuver Prediction Using Multi-Modal Transformers AI summary
Petrit Rama, Praveen Kumar Gummadi and Naim Bajcinca
 View PDF
Terramechanics-Based Mobility Failure Compensation and Soil Manipulation AI summary
Catherine Pavlov, Arno Rogg, Aaron M. Johnson
 View PDF
ATOM: A Tendon-Driven Aerial Manipulator Achieving High Stiffness, High Torque, and Low Coupling Disturbance AI summary
Yipeng Yang, Xinghu Yu, and Zhang Chen
 View PDF
ActionReasoning: Robot Action Reasoning in 3D Space with LLM for Robotic Brick Stacking AI summary
Guangming Wang, Qizhen Ying, Yixiong Jing, Olaf Wysocki, Brian Sheil
 View PDF
Markerless Robot Detection and 6D Pose Estimation for Multi-Agent SLAM AI summary
Markus Rueggeberg, Maximilian Ulmer, Maximilian Durner, Wout Boerdijk, Marcus Gerhard Müller, Rudolph Triebel, Riccardo Giubilato
 View PDF
Two Degree-Of-Freedom Vibratory Transport in a Grasp AI summary
Connor Yako, Shenli Yuan, Kenneth Salisbury
 View PDF
TreeIRL: Safe Urban Driving with Tree Search and Inverse Reinforcement Learning AI summary
Momchil Tomov, Sang Uk Lee, Hansford Hendargo, Jinwook Huh, Teawon Han, Forbes Howington, Rafael Rodrigues da Silva, Gianmarco Bernasconi, Marc Heim, Samuel Findler, Xiaonan Ji, Alexander Boule, Michael Napoli, Kuo Chen, Jesse Miller, Boaz Cornelis Floor, Yunqing Hu
 View PDF
DensePercept-NCSSD: Vision Mamba towards Real-Time Dense Visual Perception with Non-Causal State Space Duality AI summary
Tushar Anand, Advik Sinha, ABHIJIT DAS
 View PDF