Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 6 of 58
Title & Authors Actions
Reinforcement Learning for Robust Athletic Intelligence: Lessons from the 2nd �AI Olympics with RealAIGym� Competition AI summary
Felix Wiebe, Niccolò Turcato, Alberto Dalla Libera, Jean Seong Bjorn Choe, Bumkyu Choi, Tim Faust, Habib Maraqten, Erfan Aghadavoodi Jolfaei, Marco Calì, Alberto Sinigaglia, Giulio Giacomuzzo, Ruggero Carli, Diego Romeres, Jong-kook Kim, Gian Antonio Susto, Shubham Vyas, Dennis Mronga, Boris Belousov, Jan Peters, Frank Kirchner, Shivesh Kumar
 PDF
Preventing Robotic Jailbreaking Via Multimodal Domain Adaptation AI summary
Francesco Marchiori, Rohan Sinha, Christopher George Agia, Alexander Robey, George J. Pappas, Mauro Conti, Marco Pavone
 PDF
MACE: Mixture-Of-Experts Accelerated Coordinate Encoding for Large-Scale Scene Localization and Rendering AI summary
Shengyu Gu, Ruicong Ye, Wanli Qiu, Handong Yao, Ruopeng Zhang, Xianliang Huang,∗
 PDF
Towards Massively Parallel Motion Planning with Inverse Dynamics AI summary
Ioannis Tsikelis, Enrico Mingo Hoffman
 PDF
Bio-Inspired Rolling-Disk Continuum Robot: Logarithmic Spiral and Constant Curvature Design with Contraction Capabilities AI summary
Md Modassir Firdaus, Vikranth Mallru, Harsh Malodia, Madhu Vadali
 PDF
A MARL Approach for Connectivity-Aware Search and Rescue in Urban Environments AI summary
Andrés Meseguer Valenzuela
 PDF
AI-Driven Adaptive Autonomy: Is AI Really Pervasive? Research Gaps from Bibliometric Assessment AI summary
Simona Casini, Andrea Caiti, Pietro Ducange, Francesco Marcelloni, Lorenzo Pollini
 PDF
Efficient Alignment of Unconditioned Action Prior for Language-Conditioned Pick and Place in Clutter AI summary
Kechun Xu, Xunlong Xia, Kaixuan Wang, Yifei Yang, Yunxuan Mao, Bing Deng, Jieping Ye, Rong Xiong, Yue Wang
 PDF
DINO-VO: A Feature-Based Visual Odometry Leveraging a Visual Foundation Model AI summary
Maulana Bisyir Azhari, David Hyunchul Shim
 PDF
Efficient Plane Segmentation in Depth Image Based on Adaptive Patch-Wise Region Growing AI summary
Lantao Zhang, Haochen Niu, Peilin Liu, Fei Wen, RENDONG YING
 PDF
PointSFDA: Source-Free Domain Adaptation for Point Cloud Completion AI summary
Xing He, Zhe Zhu, Liangliang Nan, Wenshuo Peng, Honghua Chen, Mingqiang Wei
 PDF
MOASIC: Skill-Centric Manipulation Planning with Physics Simulation AI summary
Itamar Mishani, Yorai Shaoul, Maxim Likhachev
 PDF
Surgeon Supervised Autonomous Surgical System for Oral and Maxillofacial Surgery AI summary
Qingchuan Ma, Etsuko Kobayashi, Kazuaki Hara, Junchen Wang, Ken Masamune, Hideyuki Suenaga, Yubo Fan
 PDF
LIO-HKDT: Fast and Accurate LiDAR-Inertial Odometry with Hash K-D Tree AI summary
Yuexin Mu, Ao Ren, Duo Liu, Murong Wang, Zihao Zhang, Haojie Lu, Yujuan Tan, Kan Zhong
 PDF
OCT-DeformNet: Optical Coherence Tomography-Guided Biological Tissue Shape Prediction for Robot Palpation in Microsurgery AI summary
Guangshen Ma, Tianhao Qin, Jiawei Liu, Mark Draelos
 PDF
Judo: A User-Friendly Open-Source Package for Sampling-Based Model Predictive Control AI summary
Albert H. Li, John Zhang, Jan Bruedigam, Brandon Hung, Aaron Ames, Jiuguang Wang, Simon Le Cleac'h, Preston Culbertson
 PDF
STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification AI summary
Parv Kapoor, Kazuki Mizuta, Eunsuk Kang, Karen Leung
 PDF
SCDCE-3D: Soft-Weighted Covariance and Dual-Branch Channel Enhancement for 3D Place Recognition in Complex Orchard Environments AI summary
Yuping Tan, Chunjiang Zhao, Qin Zhao, Hei Xinhong, Song Xiaogang
 PDF
ROOM: A Physics-Based Continuum Robot Simulator for Photorealistic Medical Datasets Generation AI summary
Salvatore Esposito, Matias Mattamala, Daniel Rebain, Francis Xiatian Zhang, Kev Dhaliwal, Mohsen Khadem, Subramanian Ramamoorthy
 PDF
TWIST2: Scalable, Portable, and Holistic Humanoid Data Collection System AI summary
Yanjie Ze, Siheng Zhao, Weizhuo Wang, Angjoo Kanazawa, Yan Duan, Pieter Abbeel, Guanya Shi, Jiajun Wu, Karen Liu
 PDF
GeoFIK: A Fast and Reliable Geometric Solver for the IK of the Franka Arm Based on Screw Theory Enabling Multiple Redundancy Parameters AI summary
Pablo Lopez-Custodio, Yuhe Gong, Luis Figueredo
 PDF
Boosting Zero-Shot VLN Via Abstract Obstacle Map-Based Waypoint Prediction with TopoGraph-And-VisitInfo-Aware Prompting AI summary
Boqi Li, Siyuan Li, Weiyi Wang, Anran Li, Zhong Cao, Henry Liu
 PDF
Task Robustness Via Re-Labelling Vision-Action Robot Data AI summary
Artur Kuramshin, Ozgur Aslan, Cyrus Neary, Glen Berseth
 PDF
Efficient Construction of Implicit Surface Models from a Single Image for Motion Generation AI summary
Wei-Teng Chu, Tianyi Zhang, Matthew Johnson-Roberson, Weiming Zhi
 PDF
URPlanner: A Universal Paradigm for Collision-Free Robotic Motion Planning Based on Deep Reinforcement Learning AI summary
Fengkang Ying, Hanwen Zhang, Haozhe Wang, Huishi Huang, Marcelo H Ang Jr
 PDF
Neuro-Robot Interaction in Robot-Assisted Surgery using EEG and Self-Supervised Graph Transformer AI summary
Debashis Das Chakladar, Foteini Simistira Liwicki, Rajkumar Saini
 PDF
CLUE: Adaptively Prioritized Contextual Cues by Leveraging a Unified Semantic Map for Effective Zero-Shot Object-Goal Navigation AI summary
Taeyun Kim, Alvin Jinsung Choi, Dasol Hong, Hyun Myung
 PDF
Enhancing Indoor Occupancy Prediction Via Sparse Query-Based Multi-Level Consistent Knowledge Distillation AI summary
Xiang Li, Yupeng Zheng∗, Pengfei Li, Yilun Chen, Ya-Qin Zhang, Wenchao Ding
 PDF
Lightweight Visual Reasoning for Socially-Aware Robots AI summary
Alessio Galatolo, Ronald Cumbal, Alexandros Rouchitsas, Katie Winkle, Didem Gurdur Broo, Ginevra Castellano
 PDF
Dream to Fly: Model-Based Reinforcement Learning for Vision-Based Drone Flight AI summary
Angel Romero, Ashwin Shenai, Ismail Geles, Elie Aljalbout, Davide Scaramuzza
 PDF
Learning Affordances at Inference-Time for Vision-Language-Action Models AI summary
Ameesh Shah, William Chen, Adwait Godbole, Federico Mora, Sanjit A. Seshia, Sergey Levine
 PDF
Design and Validation of a Novel Quadruple-Disk CYcloidal Compact-Cam Reducer for Robotic Applications: Q-CYC AI summary
Riccardo Bezzini, Giulia Bassani, Carlo Alberto Avizzano, Alessandro Filippeschi
 PDF
Kinematify: Open-Vocabulary Synthesis of High-DoF Articulated Objects AI summary
Jiawei Wang, Dingyou Wang, Jiaming Hu, Qixuan Zhang, Lan Xu, Jingyi Yu
 PDF
IndustryShapes: An RGB-D Benchmark Dataset for 6D Object Pose Estimation of Industrial Assembly Components and Tools AI summary
Panagiotis Sapoutzoglou, Orestis Vaggelis, Athina Zacharia, Evangelos Sartinas, Maria Pateraki
 PDF
AVR: Active Vision-Driven Precise Robot Manipulation with Viewpoint and Focal Length Optimization AI summary
Yushan Liu, Shilong Mu, Xintao Chao, Zizhen Li, Yao Mu, Tianxing Chen, Shoujie Li, Chuqiao Lyu, Xiao-Ping Zhang, Wenbo Ding
 PDF
Intelligent Mechanical Characterization of Date Fruits for Automated Harvesting Grippers AI summary
Shahd Shami, Obadah Wali, Eric Feron, Shinkyu Park, Syed Muhammad Alam
 PDF
Simple Models, Real Swimming: Digital Twins for Tendon-Driven Underwater Robots AI summary
Mike Yan Michelis, Nana Obayashi, Josie Hughes, Robert Kevin Katzschmann
 PDF
Push Anything: Single and Multi-Object Pushing from First Sight with Contact-Implicit MPC AI summary
Hien Bui, Yufeiyang Gao, Haoran Yang, Eric Cui, Siddhant Mody, Brian Acosta, Thomas Stephen Felix, Bibit Bianchini, Michael Posa
 PDF
Safety-Critical Dynamic Motion Generation for Manipulators Using Differentiable Distance Fields in Configuration Space AI summary
Xuemin Chi, Jihao Huang, Yiming Li, Bolun Dai, Zhitao Liu, Sylvain Calinon
 PDF
QP-Based Inner-Loop Control for Constraint-Safe and Robust Trajectory Tracking for Aerial Robots AI summary
Lorenzo Balandi, Paolo Robuffo Giordano, Marco Tognon
 PDF
Scalable Multi-Objective Robot Reinforcement Learning through Gradient Conflict Resolution AI summary
Humphrey James Lee Munn, Brendan Tidd, Peter Bohm, Marcus Gallagher, David Howard
 PDF
FeatX: Controlled Robot Configuration with Flexible Feature Binding AI summary
Jude Gyimah, Henriette Knopp, Thorsten Berger, Patrizio Pelliccione
 PDF
Robot Arm Self-Calibration using RGB-D camera AI summary
Jiyong Lee, KangGeon Kim, BUM JAE YOU
 PDF
OpenPyRo-A1: An Open Python-Based Low-Cost Bimanual Robot for Embodied AI AI summary
Helong Huang, Christopher Edwin Mower, Guowei Huang, Sarthak Das, Magnus Dierking, guangyuan Luo, Kai Tan, xi Chen, Yehai Yang, Yingbing Chen, Yiming Zeng, Yinchuan Li, zhanpeng ZHANG, Shuang Wu, Yingxue Zhang, Weichao Qiu, Tongtong Cao, Mian Qin, Sajjad Pakdamansavoji, Yuecheng Liu, Yuzheng Zhuang, Guangjian Tian, Jianye Hao, Jun Wang, Haitham Bou Ammar, Xingyue Quan
 PDF
Gold Points Sniper: Self-guided Visual Reasoning in VLM for Fine-grained Action Understanding AI summary
Haodi Liu, Xinhang Yang, Kunda Yan, Sen Cui, Zeyu Zhang, Changshui Zhang
 PDF
AMPLIFY: Actionless Motion Priors for Robot Learning from Videos AI summary
Jeremy Collins, Lorand Cheng, Kunal Aneja, Albert Wilcox, Benjamin Joffe, Animesh Garg
 PDF
B*: Efficient and Optimal Base Placement for Fixed-Base Manipulators AI summary
Zihang Zhao, Leiyao Cui, Sirui Xie, Saiyao Zhang, Zhi Han, Lecheng Ruan, Yixin Zhu
 PDF
Suction Leap-Hand: Suction Cups on a Multi-Fingered Hand Enable Embodied Dexterity and In-Hand Teleoperation AI summary
Sun Zhaole, Xiaofeng Mao, Jihong Zhu, Yuanlong Zhang, Robert Fisher
 PDF
NovaFlow: Zero-Shot Manipulation Via Actionable Flow from Generated Videos AI summary
Hongyu Li, Lingfeng Sun, Yafei Hu, Duy Ta, Jennifer Barry, George Konidaris, Jiahui Fu
 PDF
SHARP: Supercomputing for High-Speed Avoidance and Reactive Planning AI summary
Kieran Lachmansingh, José Ramón González, Jacob Chisholm, Ryan Eric Grant, Matthew Pan
 PDF