Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 29 of 58
Title & Authors Actions
An Enhanced Soft Growing Robot with Mixed-Layer Jamming for Superior Load Capacity and Improved Mobility AI summary
Zheyu Li, Kui Sun, XueAi Li, Yanjiang Zou, Hong Liu
 View PDF
MolmoAct: Action Reasoning Models That Can Reason in Space AI summary
Jason Lee, Jiafei Duan, Haoquan Fang, Yuquan Deng, Shuo Liu, Boyang Li, Bohan Fang, Jieyu Zhang, Yi Ru Wang, Sangho Lee, Winson Han, Wilbert Pumacay, Angelica Wu, Rose Hendrix, Karen Farley, Eli VanderBilt, Ali Farhadi, Dieter Fox, Ranjay Krishna
 View PDF
Temporal Action Representation Learning for Tactical Resource Control and Subsequent Maneuver Generation AI summary
Hoseong Jung, Sungil Son, Daesol Cho, Jonghae Park, Changhyun Choi, H. Jin Kim
 View PDF
Learning to Throw Objects Safely in Multi-Obstacle Environments AI summary
Mohammadreza Kasaei, Klemen Voncina, Hamidreza Kasaei
 View PDF
Distributed Virtual Model Control for Scalable Human-Robot Collaboration in Shared Workspace AI summary
Yi Zhang, Omar Faris, Chapa Sirithunge, Kai-Fung Chu, Fumiya Iida, Fulvio Forni
 View PDF
MotionNet-PGA: MotionNet with Polar-Guided Attention for Moving Object Segmentation in Scanning Radar AI summary
RenYi Yuan, Chieh-Chih Wang, Wen-Chieh Lin
 View PDF
SlotVLA: Towards Modeling of Object-Relation Representations in Robotic Manipulation AI summary
Tung Kieu, Kashu Yamazaki, Chase Rainwater, Anh Nguyen, Ngan Le
 View PDF
Decentralized and Fully Onboard: Range-Aided Cooperative Localization and Navigation on Micro Aerial Vehicles AI summary
Abhishek Goudar, Angela P. Schoellig
 View PDF
Gust Estimation and Rejection with a Disturbance Observer for Proprioceptive Underwater Soft Morphing Wings AI summary
Tobias Cook, Leo Micklem, Huazhi Dong, Yunjie Yang, Michael Mistry, Francesco Giorgio-Serchi
 View PDF
A Contact-Driven Framework for Manipulating in the Blind AI summary
Muhammad Suhail Saleem, Lai Yuan, Maxim Likhachev
 View PDF
SldprtNet: A Large-Scale Multimodal Dataset for CAD Generation in Language-Driven 3D Design AI summary
Ruogu Li, Sikai Li, Yao Mu, Mingyu Ding
 View PDF
Multi-Robot Formation Control Via Consensus-Based Sliding Mode and Obstacle-Aware Adaptive Scaling AI summary
Hsien-I Lin, Yu-Xian Chen
 View PDF
Design and Control of Modular Magnetic Millirobots for Multimodal Locomotion and Shape Reconfiguration AI summary
Erik Garcia Oyono, Jialin Lin, Dandan Zhang
 View PDF
Safe and Stable Neural Network Dynamical Systems for Robot Motion Planning AI summary
Allen Emmanuel Binny, Mahathi Anand, Hugo Tadashi Kussaba, Lingyun Chen, Shreenabh Agrawal, Fares Abu-Dakka, Abdalla Swikir
 View PDF
Lunar Rover Cargo Transport: Mission Concept and Field Test AI summary
Alec Krawciw, Nicolas Alejandro Olmedo, Faizan Rehmatullah, Maxime Desjardins-Goulet, Pascal Toupin, Timothy Barfoot
 View PDF
Event Spectroscopy: Event-based Multispectral and Depth Sensing using Structured Light AI summary
Christian Geckeler, Niklas Neugebauer, Manasi Muglikar, Davide Scaramuzza, Stefano Mintchev
 View PDF
CG-THWM: Curriculum-Guided Temporal Haptic World Modeling for Peg-In-Hole Tasks AI summary
Xinli Zhong, Feng Han, Manya Xu, Mu Li, Daqiang Zhang, Jianwei Niu
 View PDF
Dynamic UGV-UAV Cooperative Path Planning in Uncertain Environments AI summary
Ninh Nguyen, Srinivas Akella
 View PDF
Impact of Active vs. Passive Robot Behavior on Task Efficiency in Collaborative Physical HRI AI summary
Alessandro Tiozzo, Giulia Scorza Azzarà , Alessandro Rizzo, Alessandra Sciutti, Francesco Rea
 View PDF
Air Compressor Control Optimization in Commercial Vehicles Using Reinforcement Learning AI summary
Fabian Schuppert,,∗, Raul Gorek,, Bodo Rosenhahn and Timo von Marcard
 View PDF
Velocity Potential Field Modulation for Dense Coordination of Polytopic Swarms and Its Application to Assistive Robotic Furniture AI summary
Lixuan Tang, David Rüegg, Runze Zhang, Anastasia Bolotnikova, Jan M. Rabaey, Auke Ijspeert
 View PDF
Tracing Energy Flow: Learning Tactile-Based Grasping Force Control to Reduce Slippage in Dynamic Object Interaction AI summary
Cheng-Yu Kuo, Hirofumi Shin, Takamitsu Matsubara
 View PDF
GRAM: Generalization in Deep RL with a Robust Adaptation Module AI summary
James Queeney, Xiaoyi Cai, Alexander Schperberg, Radu Corcodel, Mouhacine Benosman, Jonathan How
 View PDF
3D Targeting of a Magnetic Particle in Blood Vessels Using Field-Free Points in an Open-Type Electromagnetic Actuation System AI summary
Seungun Yang, Kim Tien Nguyen, Hyeonwoo Kee, Hyoryong Lee, Jayoung Kim, Sukho Park
 View PDF
A Perception-Based Architecture for Autonomous Convoying in GNSS-Denied Areas AI summary
Alexander Bienemann, Lukas Beer, Andreas Reich, Thomas Steinecker, Bianca Forkel, Anton Backhaus, Philipp Berthold, Juan David González González, Peter Mortimer, Thorsten Luettel, Maehlisch Mirko
 View PDF
EnhanceERASOR: Two-Stage Static 3D Point Cloud Mapping in Dynamic Scenes AI summary
Shuyang Yu, Yi Wu, Xiaoqing Guan, Song Jin, Haoxiang Liu, You Wang, Guang Li
 View PDF
Resource-Constrained Robotic Planning in the Face of Mixed Uncertainty AI summary
Yihao Yin,,, Pian Yu, Andrea Turrini, Zhiming Chi,, Yong Li, and Lijun Zhang
 View PDF
When Birds Meet Fish: Vision-Force Fusion for Autonomous Underwater Docking in Cross-Domain Avian-Aquatic Collaboration AI summary
Hongchang Liu, Ruiheng Wang, Yongkang Jiang, zhang shenli, Xiangdan Zhao, Xin Xu, Yulong Ding, Feng Lyu, Zhipeng Wang, yanmin Zhou, Bin He
 View PDF
Gravity-Assisted Shape-Locking Articulated Discrete Serial Robot for Ceiling-Mounted Manipulation in Patient Care AI summary
Seonhun Lee, Frank Sup IV
 View PDF
Gameplay with a Socially Supportive Virtual Robot Enhances Children's Global Self-Esteem, Peer Relationships, Interest and Engagement AI summary
Devasena Pasupuleti, Hamed Mahzoon, Kazuki Sakai, Hiroshi Ishiguro, Yaswanth Bangi, Rajeevlochana G. Chittawadigi, Yuichiro Yoshikawa
 View PDF
Flying Together: Human-Guided Immersive Shared Control for Aerial Robot Teams in Unknown Environments AI summary
Lou De Bel-Air, Luca Morando, Ruitao Chen, Keru Wang, Benjamin Jarvis, Charbel Toumieh, Yang Zhou, KEN PERLIN, Dario Floreano, Giuseppe Loianno
 View PDF
A Teleoperated Control for Robot-Aided Percutaneous Surgery: An Application to Needle Insertion in Nephrolithotomy AI summary
Clemente Lauretti, Rosaura Morfino, Francesco Cocco, Francesco Prata, Rocco Papalia and Loredana Zollo
 View PDF
Baseline Policy Adapting and Abstraction of Shared Autonomy for High-Level Robot Operations AI summary
Ehsan Yousefi, Mo Chen, Inna Sharf
 View PDF
ActiveSPN: Active Soft Polyhedral Networks with Pose Estimation for In-Finger Object Manipulation AI summary
Sen Li, Chengxiao Dong, Chaoyang Song, Fang Wan
 View PDF
PSALM-V: Automating Symbolic Planning in Interactive Visual Environments with Large Language Models AI summary
Wang Bill Zhu, Miaosen Chai, Ishika Singh, Robin Jia, Jesse Thomason
 View PDF
CERNet: Class-Embedding Predictive-Coding RNN for Unified Robot Motion, Recognition, and Confidence Estimation AI summary
Hiroki Sawada, Alexandre Pitti, Mathias Quoy
 View PDF
Active Tactile Exploration for Rigid Body Pose and Shape Estimation AI summary
Ethan Kroll Gordon, Bruke Baraki, Hien Bui, Michael Posa
 View PDF
Narrate2Nav: Real-Time Visual Navigation with Implicit Language Reasoning in Human-Centric Environments AI summary
Amirreza Payandeh, Anuj Pokhrel, Daeun Song, Marcos Zampieri, Xuesu Xiao
 View PDF
Active Contact Engagement for Aerial Navigation in Unknown Environments with Glass AI summary
Xinyi Chen, Yichen Zhang, Hetai ZOU, Junzhe WANG, Shaojie Shen
 View PDF
ST-HNet: A CNN-LSM Hybrid Architecture for Spatio-Temporal Feature Learning in Event-Based Visual Place Recognition AI summary
Xun Xiao, Shasha Guo, Tie Junbo, Jingyue Zhao, Ziqi Wang, Yuan Li, jingzhuo yuan, Qiang Dou, Lei Wang
 View PDF
Building Forest Inventories with Autonomous Legged Robots -- System, Lessons, and Challenges Ahead AI summary
Matias Mattamala, Nived Chebrolu, Jonas Frey, Leonard Freißmuth, Haedam Oh, Benoit Casseau, Marco Hutter, Maurice Fallon
 View PDF
Analytical and Computational Modeling of a Stop-Rotor Aircraft with Experimental Validation AI summary
Kristan Hilby, Ian Hunter
 View PDF
GAIA: Generating Task Instruction Aware Simulation Grounded in Real Contexts Using Vision-Language Models AI summary
Dogyu Ko, Chanyoung Yeo, Daeho Kim, Jaeho Kim, Hyoseok Hwang
 View PDF
Tactile-Proprioceptive Sensor Fusion for Contact Wrench Estimation in Whole-Body Physical Human-Robot Interaction AI summary
Junha Min, Junghyeon Ma, Jiwung Kwon, Sunggyu Bae, Joohyung Kim, Kyungseo Park
 View PDF
Enhancing Motor Synchrony in Rhythmic Dyadic Tasks through Portable Elbow Exoskeletons AI summary
Emanuele Peperoni, Stefano Laszlo Capitani, Lorenzo Grazi, Michele Francesco Penna, Lorenzo Amato, Filippo Dell'Agnello, Andrea Baldoni, Domenico Formica, Marc Leman, Nicola Vitiello, Simona Crea, Emilio Trigili
 View PDF
Towards Dexterous Agri-Food Manipulation: Topology-Dependent Interaction Patterns in a Reconfigurable Multifingered Gripper AI summary
Hongyu Lan, Alessio Caporali, Chengxiao Dong, Gianluca Palli, Claudio Melchiorri
 View PDF
The Turkish Ice Cream Robot: Examining Playful Deception in Social Human-Robot Interactions AI summary
Hyeonseong Kim, Roy El-Helou, Seungbeen Lee, Sungjoon Choi, Matthew Pan
 View PDF
HiMo: High-Speed Objects Motion Compensation in Point Clouds AI summary
Sina Sharif Mansouri , Olov Andersson , Patric Jensfelt
 View PDF
Selecting Spots by Explicitly Predicting Intention from Motion History Improves Performance in Autonomous Parking AI summary
Long Kiu Chung, David Isele, Faizan M. Tariq, Sangjae Bae, Shreyas Kousik, Jovin D'sa
 View PDF
Large-Language-Model-Guided State Estimation for Partially Observable Task and Motion Planning AI summary
Yoonwoo Kim, Raghav Arora, Roberto Martín-Martín, Peter Stone, Ben Abbatematteo, Yoonchang Sung
 View PDF