Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 41 of 58
Title & Authors Actions
ABPolicy: Asynchronous B‑Spline Flow Policy for Real‑Time and Smooth Robotic Manipulation AI summary
Fan Yang, Peiguang Jing, Kaihua Qu, Ningyuan Zhao, Yuting Su
 View PDF
FreeTacMan: Robot-Free Visuo-Tactile Data Collection System for Contact-Rich Manipulation AI summary
Longyan Wu, Checheng Yu, Jieji Ren, Li Chen, Yufei Jiang, Ran Huang, Guoying Gu, Hongyang Li
 View PDF
Wrench-Feasible Whole-Body Planning Via Time-Layered DAG Optimization for Omnidirectional Aerial Manipulation AI summary
Daum Park, Bohyeong Pak, Sanghyun Kim
 View PDF
An Entropy-Based Hybrid Local-Global Algorithm to Navigate Information-Sparse Environments AI summary
Bennett Carley, Jason O'Kane
 View PDF
VOCALoco: Viability-Optimized Cost-Aware Adaptive Locomotion AI summary
Stanley Wu, Mohamad Hosein Danesh, Simon Li, Hanna Yurchyk, Amin Abyaneh, Anas El Houssaini, David Paul Meger, Hsiu-Chin Lin
 View PDF
SignBot: Learning Human-To-Humanoid Sign Language Interaction AI summary
Guanren Qiao, Sixu Lin, Ronglai Zuo, Zhizheng Wu, Kui JIA, Guiliang Liu
 View PDF
Cooperative Informed Tree (CoIT*): Cooperative Bi-Directional Multi-Resolution Motion Planning with Adaptive Edge Screening AI summary
Xiao Tan, Yaonan Wang, renjie Ding, min liu, Zhe Zhang, Xiaoqian Yu
 View PDF
COMET: A Dual Swashplate Autonomous Coaxial Bi-Copter AAV with High-Maneuverability and Long-Endurance AI summary
Shuai Wang, Xiaoming Tang, Junning Liang, Haowen Zheng, Biyu Ye, Zhaofeng Liu, Fei Gao, Ximin Lyu
 View PDF
Iterative Shaping of Multi-Particle Aggregates Based on Action Trees and VLM AI summary
Hoi-Yin Lee, Peng Zhou, Anqing Duan, Chenguang Yang, David Navarro-Alarcon
 View PDF
Robot Crash Course: Learning Soft and Stylized Falling AI summary
Pascal Strauch, David Müller, Sammy Christen, Agon Serifi, Ruben Grandia, Espen Knoop, Moritz Bächer
 View PDF
UMI-On-Air: Embodiment-Aware Guidance for Embodiment-Agnostic Visuomotor Policies AI summary
Harsh Gupta, Xiaofeng Guo, Huy Ha, Chuer Pan, Muqing Cao, Dongjae Lee, Sebastian Scherer, Shuran Song, Guanya Shi
 View PDF
DASP: Self-Supervised Nighttime Monocular Depth Estimation with Domain Adaptation of Spatiotemporal Priors AI summary
Yiheng Huang, Junhong Chen, Anqi Ning, Zhanhong Liang, Nick Michiels, Luc Claesen, Wenyin Liu
 View PDF
STRIVE: Structured Representation Integrating VLM Reasoning for Efficient Object Navigation AI summary
Haokun Zhu, Zongtai Li, Zhixuan Liu, Wenshan Wang, Ji Zhang, Jonathan Francis, Jean Oh
 View PDF
Reliable and Fast Humans Removed Visual Scene Representation AI summary
Serhat Iscan, H. Isil Bozma
 View PDF
Online Modifications of High-Level Swarm Behaviors AI summary
Bo-Ruei Huang, Hadas Kress-Gazit
 View PDF
Coverage Path Planning for Holonomic UAVs via Uniaxial-Feasible, Gap-Severity Guided Decomposition AI summary
Pedro Antonio Alarcon Granadeno, Jane Cleland-Huang
 View PDF
Self-Supervised Underwater Monocular Depth Estimation Informed by Multi-Physics Processes AI summary
Fengqi Xiao, Juntian Qu
 View PDF
ALOHA Lightning: Learning Fast and Precise Manipulation AI summary
John Hua Yao, Qi Wu, Yihuai Gao, Chelsea Finn, Zipeng Fu
 View PDF
Nonlinear Predictive Control of the Continuum and Hybrid Dynamics of a Suspended Deformable Cable for Aerial Pick and Place AI summary
Antonio Rapuano, Yaolei Shen, Federico Califano, Chiara Gabellieri, Antonio Franchi
 View PDF
OrthoSwarm: Orthoimagery Drone Swarms AI summary
Tuhao Zhao, Peng Yi, Haozhou Zhai, Tianjiang Hu
 View PDF
Dynamic Robotic Cloth Folding with Efficient Koopman Operator-Based Model Predictive Control AI summary
Edoardo Caldarelli, Franco Coltraro, Adri`a Colom ́e, Lorenzo Rosasco, , and Carme Torras
 View PDF
Plan Optimal Collision-Free Trajectories with Non-Convex Cost Functions Using Graphs of Convex Sets AI summary
Landon Clark, Biyun Xie
 View PDF
Class-Aware Queries for Robust Multi-View 3D Object Detection AI summary
Chaeyeon Sung, Sungmin Woo, Sangyoun Lee
 View PDF
Self-Supervised Domain Adaptation for Visual 3D Pose Estimation of Nano-Drone Racing Gates by Enforcing Geometric Consistency AI summary
Nicholas Carlotti, Michele Antonazzi, Elia Cereda, Mirko Nava, Nicola Basilico, Daniele Palossi, Alessandro Giusti
 View PDF
Learning Location-Specific Latent Behavior Priors for Occupancy Prediction in Automated Driving AI summary
Julian Schmidt, Mario Ruoff, Christoph Rist, Julian Jordan
 View PDF
Ringbot Quad: A Monocycle Robot with Four Legs for Versatile Wheel-Leg Transformable Locomotion AI summary
Kevin Gim, Joohyung Kim
 View PDF
NavMoE: Hybrid Model and Learning-Based Traversability Estimation for Local Navigation Via Mixture of Experts AI summary
Botao He, Amir Hossein Shahidzadeh, Yu Chen, Jiayi Wu, Tianrui Guan, Guofei Chen, Dinesh Manocha, Howie Choset, Glen Chou, Cornelia Fermüller, Yiannis Aloimonos
 View PDF
An Anatomy-Aware Shared Control Approach for Assisted Teleoperation of Lung Ultrasound Examinations AI summary
Davide Nardi, Edoardo Lamon, Daniele Fontanelli, Matteo Saveriano, Luigi Palopoli
 View PDF
Efficient Multi-Camera Tokenization with Triplanes for End-To-End Driving AI summary
Boris Ivanovic, Cristiano Saltori, Yurong You, Yan Wang, Wenjie Luo, Marco Pavone
 View PDF
MoonBot: Modular and On-Demand Reconfigurable Robot Toward Moon Base Construction AI summary
Kentaro Uno, Elian Neppel, Gustavo Hernan Diaz Huenupan, Ashutosh Mishra, Shamistan Karimov, A. Sejal Jain, Ayesha Habib, Pascal Pama, Hazal Gozbasi, Shreya Santra, Kazuya Yoshida
 View PDF
AORRTC: Almost-Surely Asymptotically Optimal Planning with RRT-Connect AI summary
Tyler S. Wilson, Wil Thomason, Zachary Kingston, Jonathan Gammell
 View PDF
Unleashing Humanoid Reaching Potential Via Real-World-Ready Skill Space AI summary
Zhikai Zhang, Chao Chen, Han Xue, Jilong Wang, Sikai Liang, Yun Liu, Zongzhang Zhang, He Wang, Li Yi
 View PDF
DexCtrl: Sim-To-Real Dexterity with Adaptive Controller Learning AI summary
Shuqi Zhao, Ke Yang, Yuxin Chen, Chenran Li, Yichen Xie, Xiang Zhang, Changhao Wang, Masayoshi Tomizuka
 View PDF
Stable Object Placement Planning from Contact Point Robustness AI summary
Philippe Nadeau, Jonathan Kelly
 View PDF
Grasp Independent Indirect Tool Force Estimation using Vision-based Tactile Sensors AI summary
LUCHEN LI, Thomas George Thuruthel
 View PDF
Constructing and Navigating Connected Air Roads: A Safety-Critical Reinforcement Learning Approach for Multi-UAV Systems AI summary
Qihan Qi, Haojie Xia, Xinsong Yang, Jianquan Lu, Xingxing Ju
 View PDF
Autonomous Drone-Ground Robot Alignment through Ground Robot Visual Servo Control with Drone Detection and Tilt Correction AI summary
Sean Clark Dominguez, Jeanette Pao, Immanuel Paradela, John Mel Bolaybolay, Earl Ryan Aleluya, Francis Jann Alagon, Sherwin Guirnaldo, Carl John Salaan, Kazunori Ohno, Yoshito Okada, Argel Bandala, Abu Ubaidah Shamsudin
 View PDF
Data-Efficient Hierarchical Goal-Conditioned Reinforcement Learning Via Normalizing Flows AI summary
Shaswat Garg, Matin Moezzi, Brandon Da Silva
 View PDF
SPARO: Snap-On/Rotate-Off Passive Gripper for Aerial Perching AI summary
Jakob Domislovic, Antun Ivanovic, Frano Petric and Matko Orsag
 View PDF
DVMM: A Dual-View Combination Descriptor for Multi-Modal LiDARs Online Place Recognition AI summary
Xuzhe Duan, Qingwu Hu, Mingyao Ai, Pengcheng Zhao, Jiayuan Li
 View PDF
Mini Diffuser: Fast Multi-Task Diffusion Policy Training Using Two-Level Mini-Batches AI summary
Yutong Hu, Pinhao Song, Kehan Wen, Renaud Detry
 View PDF
Semantically-Aware Diver Activity Recognition Framework for Effective Underwater Multi-Human-Robot Collaboration AI summary
Sadman Sakib Enan, Junaed Sattar
 View PDF
Automated Straight-Line Sewing of Stretchable Fabrics with Different Lengths AI summary
Bingchen Jin, Akinari Kobayashi, Dipankar Bhattacharya, Akira Seino, Fuyuki Tokuda, Norman Tien, Kazuhiro Kosuge
 View PDF
Hierarchical Motion Planning Adaptation Via Guided Diffusion AI summary
Woosung Kim, Nicola Bezzo
 View PDF
Search Strategy for Layered Peg-In-Hole Using Dual Manipulator System AI summary
Haeseong Lee, Yonghee Lee, Junheon Yoon, Jaeheung Park
 View PDF
STONE Dataset: A Scalable Multi-Modal Surround-View 3D Traversability Dataset for Off-Road Robot Navigation AI summary
Konyul Park, Daehun Kim, Jiyong Oh, Seunghoon Yu, Junseo Park, Jaehyun Park, Hongjae Shin, Hyungchan Cho, Jungho Kim, Jun Won Choi
 View PDF
Design and Dynamic Modeling of a Flying Fish Robot with Experimental Validation AI summary
Jiayi Jin, Wei Wang
 View PDF
VarWrist: An Anthropomorphic Soft Wrist with Variable Stiffness AI summary
Chaozhou Zhang, Min Li, Zhanshuo Yang, Kong Xiangrui, Jiayi Luo, Yushen Liu, Jian Fu, Guanghua Xu, SHAN LUO
 View PDF
ADM-DP: Adaptive Dynamic Modality Diffusion Policy through Vision-Tactile-Graph Fusion for Multi-Agent Manipulation AI summary
Wang Enyi, WEN FAN, Dandan Zhang
 View PDF
Good Weights: Proactive, Adaptive Dead Reckoning Fusion for Continuous and Robust Visual SLAM AI summary
Yanwei Du, Jing-Chen Peng, Patricio Vela
 View PDF