Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 47 of 58
Title & Authors Actions
LapSurgie: Humanoid Robots Performing Surgery Via Teleoperated Handheld Laparoscopy AI summary
Zekai Liang, Xiao Liang, Soofiyan Atar, Sreyan Das, Zoe Chiu, Peihan Zhang, Calvin Joyce, Florian Richter, Shanglei Liu, Michael C. Yip
 View PDF
Acoustic Sensing for Universal Jamming Grippers AI summary
Lion-Constantin Weber, Theodor Marius Wienert, Martin Splettstößer, Alexander Koenig, Oliver Brock
 View PDF
Trajectory Optimization through Mixed-Integer Optimization of Contact Dynamics for Switching End Effector Locomotion AI summary
Jared Morgan, Mahdi Agheli
 View PDF
ViTacGen: Robotic Pushing with Vision-To-Touch Generation AI summary
Zhiyuan Wu, Yijiong Lin, Yongqiang Zhao, Xuyang Zhang, Zhuo Chen, Nathan Lepora, SHAN LUO
 View PDF
Gaussian Process-Based Gait Optimization of a Cable-Driven Soft Quadruped Robot AI summary
Jeongil Choi, Ayoung Hong
 View PDF
VEGA: A Geometry-Aware Enveloping Layer-Based Path Planning Strategy for Accurate Robotic 3D Printing AI summary
Won Bin Choi, Wan Kyun Chung
 View PDF
PartPose: Attentive 6D Pose Estimation by Focusing on Graspable Parts of Multi-Part Deformable Objects AI summary
Ryo Okumura, Tadahiro Taniguchi
 View PDF
DriveCritic: Towards Context-Aware, Human-Aligned Evaluation for Autonomous Driving with Vision-Language Models AI summary
Jingyu Song, Zhenxin Li, Shiyi Lan, Xinglong Sun, Nadine Chang, Maying Shen, Jingde Chen, Katherine Skinner, Jose Alvarez
 View PDF
TrajMamba: An Ego-Motion-Guided Mamba Model for Pedestrian Trajectory Prediction from an Egocentric Perspective AI summary
Yusheng Peng, Gaofeng Zhang, Liping Zheng
 View PDF
LIMBERO: A Limbed Climbing Exploration Robot Toward Traveling on Rocky Cliffs AI summary
Kentaro Uno, Masazumi Imai, Kazuki Takada, Teruhiro Kataonami, Yudai Matsuura, Antonin Ringeval-Meusnier, Keita Nagaoka, Mikio Eguchi, Ryo Nishibe, Kazuya Yoshida
 View PDF
Connectivity Maintenance for High-Speed Communication with Adversarial Jamming AI summary
Thomas Kaminsky, Hammad Izhar, Daniel Garces, Collin Brady, Joe Rottner, Stephanie Gil
 View PDF
NavSpace: How Navigation Agents Follow Spatial Intelligence Instructions AI summary
Haolin Yang, Yuxing Long, Zhuoyuan Yu, Zihan Yang, Minghan Wang, Jiapeng Xu, Yihan Wang, Ziyan Yu, Wenzhe Cai, Lei Kang, Hao Dong
 View PDF
Tactile-Based Human Intent Recognition for Robot Assistive Navigation AI summary
Shaoting Peng, Dakarai Crowder, Wenzhen Yuan, Katherine Driggs-Campbell
 View PDF
Language-Guided Attribute Alignment and Semantic Consistency for Zero-Shot Domain Adaptation AI summary
Junhong Pan, Chenyi Jiang, Minxian Li, Haofeng Zhang
 View PDF
Visual-Auditory Extrinsic Contact Estimation AI summary
Xili Yi, Jayjun Lee, Nima Fazeli
 View PDF
MV3D: Multi-View 3D Reconstruction of Objects Using Forward-Looking Sonar AI summary
Nael Jaber, Bilal Wehbe, Leif Christensen, Frank Kirchner
 View PDF
Ego-Vision World Model for Humanoid Contact Planning AI summary
Hang Liu, Yuman Gao, Sangli Teng, Yufeng Chi, Yakun Sophia Shao, Zhongyu Li, Maani Ghaffari, Koushil Sreenath
 View PDF
Do What You Say: Steering Vision-Language-Action Models Via Runtime Reasoning-Action Alignment Verification AI summary
Yilin Wu, Anqi Li, Tucker Hermans, Fabio Ramos, Andrea Bajcsy, Claudia Pérez-D'Arpino
 View PDF
Soft Robotic Delivery of Coiled Anchors for Cardiac Interventions AI summary
Leonardo Zamora Yañez, Jacob Rogatinsky, Dominic Recco, Sang-Yoep Lee, Grace Matthews, Andrew Sabelhaus, David Hoganson, Tommaso Ranzani
 View PDF
Volumetric Ergodic Control AI summary
Jueun Kwon, Max Muchen Sun, Todd Murphey
 View PDF
PushingBots: Collaborative Pushing Via Neural Accelerated Combinatorial Hybrid Optimization AI summary
Zili Tang, Ying Zhang, Meng Guo
 View PDF
BEVIO: Efficient Bird�s-Eye-View Based Sparse-Update Visual-Inertial Odometry for Lunar Day-Night Navigation AI summary
Mohit Singh, Shehryar Khattak, Ashish Goel, Michael Paton, Kostas Alexis, Issa Nesnas
 View PDF
Embracing Bulky Objects with Humanoid Robots: Whole-Body Manipulation with Reinforcement Learning AI summary
Chunxin ZHENG, Kai Chen, Zhihai Bi, Yulin Li, Liang Pan, Jinni ZHOU, Haoang Li, Jun Ma
 View PDF
Inchworm-Inspired Adaptive Multimodal Neural Control for an Autonomous Inspection Robot AI summary
Wasuthorn Ausrivong, Arthicha Srisuchinnawong, Poramate Manoonpong,∗
 View PDF
Anticipating Degradation: A Predictive Approach to Fault Tolerance in Robot Swarms AI summary
James O'Keeffe
 View PDF
GSON: A Group-Based Social Navigation Framework with Large Multimodal Model AI summary
Shangyi Luo, Peng Sun, Ji Zhu, Yuhong Deng, Cunjun Yu, Anxing Xiao, Xueqian Wang
 View PDF
ShapeForce: Low-Cost Soft Robotic Wrist for Contact-Rich Manipulation AI summary
Jinxuan Zhu, Zihao Yan, Yangyu Xiao, Jingxiang Guo, Chenrui Tie, Xinyi Cao, Yuhang Zheng, Lin Shao
 View PDF
Dynamic Scoop-And-Flick Manipulation for Rapid Non-Prehensile High-Arc Object Transfer AI summary
Gijae Ahn, Junwoo Lee, Seung Hwa Oh, Mujin Shin, Seung-Joon Yi, Jungwon Seo
 View PDF
DREAM: Domain-Aware Reasoning for Efficient Autonomous Underwater Monitoring AI summary
Zhenqi Wu, Abhinav Modi, Angelos Mavrogiannis, Kaustubh Joshi, Nikhil Chopra, Yiannis Aloimonos, Nare Karapetyan, Ioannis Rekleitis, Xiaomin Lin
 View PDF
CATALYST: Cognitive-To-Autonomy-Inspired Two-Stage Training Data Generation with Local-System-Aware Selection Technique AI summary
Taehoon Kim, Sehoon Oh
 View PDF
Revisiting Replanning from Scratch: Real-Time Incremental Planning with Fast Almost-Surely Asymptotically Optimal Planners AI summary
Mitchell Edris Crisante Sabbadini, Andrew H. Liu, Joseph Ruan, Tyler S. Wilson, Zachary Kingston, Jonathan Gammell
 View PDF
Following Is All You Need: Robot Crowd Navigation Using People As Planners AI summary
Yuwen Liao, Xinhang Xu, Ruofei Bai, Yizhuo Yang, Muqing Cao, Shenghai Yuan, Lihua Xie
 View PDF
Analytical Parameter Conversion of CPC and POE Models AI summary
Oleg Sumenkov
 View PDF
Best-View Pedicel Localization with YOLO-DSC for Calyx-Preserving Robotic Harvesting of Cherry Tomatoes AI summary
Verianti Liana, Hao Cheng Zuo, Ping-Lang Yen
 View PDF
VL-DPO: Vision-Language-Guided Finetuning for Preference-Aligned Autonomous Driving AI summary
Zhefan Xu, Ghassen Jerfel, Marina Haliem, Qi Zhao, Jeonhyung Kang, Khaled Refaat
 View PDF
Monitoring Autonomous Persistent Surveillance Missions Using Invariance AI summary
Vladislav Nenchev, Prodromos Sotiriadis
 View PDF
Importance Sampling Model-Based Diffusion for Trajectory Optimization AI summary
Seth Golembeski, Anirban Mazumdar
 View PDF
FlowDreamer: A RGB-D World Model with Flow-Based Motion Representations for Robot Manipulation AI summary
Jun Guo, Xiaojian Ma, Yikai Wang, Min Yang, Huaping Liu, Qing Li
 View PDF
LLM-Driven Corrective Robot Operation Code Generation with Static Text-Based Simulation AI summary
Wenhao Wang, Yi Rong, Yanyan Li, Long Jiao, Jiawei Yuan
 View PDF
MonoEM: Object-Level Monocular 3D Object Detection Based on Equirectangular Map under Inclement Weather AI summary
Jae Hyun Yoon, Yeon Woo Cho, Seok Bong Yoo
 View PDF
Scan, Materialize, Simulate: A Generalizable Framework for Physically Grounded Robot Planning AI summary
Amine Elhafsi, Daniel Morton, Marco Pavone
 View PDF
GraspControl: Text-Sketch Instruction As an Interface for Controllable Grasp Synthesis AI summary
XiaoPeng Wen, songtao tian, Yi Sun
 View PDF
Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning AI summary
Nicolo Dal Fabbro, Milad Mesbahi, Mendes Renato, João Sousa, George J. Pappas
 View PDF
Hierarchical LLM-Based Multi-Agent Framework with Prompt Optimization for Multi-Robot Task Planning AI summary
Tomoya Kawabe, Rin Takano
 View PDF
HeRO: Hierarchical 3D Semantic Representation for Pose-Aware Object Manipulation AI summary
Chongyang Xu, Shen Cheng, Li Haipeng, Haoqiang Fan, Ziliang Feng, Shuaicheng Liu
 View PDF
Adaptive Friction-based Inchworm-like Locomotion AI summary
Jiri Kubik, Jan Faigl
 View PDF
Hybrid Diffusion Policies with Projective Geometric Algebra for Efficient Robot Manipulation Learning AI summary
Xiatao Sun, Yuxuan Wang, Shuo Yang, Yinxing Chen, Daniel Rakita
 View PDF
Inverse Reachability Map Guided Motion Planning of Mobile Manipulator AI summary
JungHyun Choi, taegyeom Lee, Myun Joong Hwang
 View PDF
MonoDuo: Using One Robot Arm to Learn Bimanual Policies AI summary
Sandeep Bajamahal, Lawrence Yunliang Chen, Toru Lin, Zehan Ma, Jitendra Malik, Ken Goldberg
 View PDF
Autonomous Search for Sparsely Distributed Visual Phenomena through Environmental Context Modeling AI summary
Eric Chen, Travis Manderson, Nare Karapetyan, Peter Edmunds, Nicholas Roy, Yogesh Girdhar
 View PDF