Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 56 of 58
Title & Authors Actions
TranTac: Leveraging Transient Tactile Signals for Contact-Rich Robotic Manipulation AI summary
Yinghao Wu, Shuhong Hou, Haowen Zheng, Yichen Li, Weiyi Lu, Xun Zhou, Yitian Shao
 PDF
SCIZOR: A Self-Supervised Approach to Data Curation for Large-Scale Imitation Learning AI summary
Yu Zhang, Yuqi Xie, Huihan Liu, Rutav Shah, Michael Wan, Linxi Fan, Yuke Zhu
 PDF
Markerless Hand-Eye Calibration by Flange Ellipse Detection AI summary
Ruoyu Jia, Ruomeng Fan, Qitong Guo, Xiaohang Shi, Masahiro Hirano, Yuji Yamakawa
 PDF
Dual Quaternion based Compliant Movement Primitives for Deformable Object Manipulation AI summary
Amir SAMAI, John Thomas, Mohammad Alkhatib, Erol Ozgur, Youcef Mezouar
 PDF
JetsonCompletion: Real-Time Depth Completion on Resource-Constrained Edge Devices AI summary
Kailin Wang, Xiaozhou Zhu, Benyi Yang, Tian Zhang, haoxin zhang, Fei Xie, Shuaixin Li
 PDF
Multi-Agent Collaboration for PrSTL Specifications with Temporal Collective Counting Operators AI summary
Yicheng Quan, Yan Yang, Zhijie Liu, Zhongjiao Shi
 PDF
RealMirror: A Comprehensive, Open-Source Vision-Language-Action Platform for Embodied AI AI summary
Cong Tai, Zhaoyu Zheng, Haixu Long, Hansheng Wu, Haodong Xiang, Zhengbin Long, Jun Xiong, Rong Shi, Shizhuang Zhang, Gang Qiu, He Wang, Ruifeng Li, Jun Huang, Bin Chang, Shuai Feng, Tao Shen
 PDF
Feedforward Pressure-Regulated Position Control of Soft Ballooning Actuators Using a Modified Prandtl�Ishlinskii Model AI summary
Nashil Sowaruth, Nicolas Herzig
 PDF
A Precise Real-Time Force-Aware Grasping System for Robust Aerial Manipulation AI summary
Kenghou Hoi, Yuze Wu, Annan Ding, Junjie Wang, Anke Zhao, Jialiang Hou, Chengqian Zhang, Fei Gao
 PDF
HapCompass: A Rotational Haptic Device for Contact-Rich Robotic Teleoperation AI summary
Xiangshan Tan, Jingtian Ji, Tianchong Jiang, Pedro Lopes, Matthew Walter
 PDF
TransTac: Visuo-Tactile Modality Transition Via Ultraviolet-Encoded Transparent Elastomers AI summary
Lingyue Yang, Bin Fang
 PDF
A High-Payload Robotic Hopper Powered by Bidirectional Thrusters AI summary
Song Li, Songnan Bai, Ruihan Jia, Yixi Cai, Runze Ding, Yu Shi, Fu Zhang, Pakpong Chirarattananon
 PDF
X-MOS: A Heterogeneous Cross-LiDAR Generalization Framework for Moving Object Segmentation AI summary
Minjae Lee, Ilhwan Ha, Sang-Min Choi, Gun-Woo Kim, Suwon Lee
 PDF
Grasp, Slide, Roll: Comparative Analysis of Contact Modes for Tactile-Based Shape Reconstruction AI summary
Chung Hee Kim, Shivani Kiran Kamtikar, Tye Brady, Taskin Padir, Joshua Migdal
 PDF
SDRS: Shape-Differentiable Robot Simulator AI summary
xiaohan ye, Xifeng Gao, Kui Wu, Zherong Pan, Taku Komura
 PDF
Triangle-Decomposable Graphs for Isoperimetric Robots AI summary
Nathan Usevitch, Isaac Weaver, James Usevitch
 PDF
See, Plan, Cut: MPC-Based Autonomous Volumetric Robotic Laser Surgery with OCT Guidance AI summary
Ravi Prakash, Vincent Wang, Arpit Mishra, Devi Yuliarti, Pei Zhong, Ryan McNabb, Patrick Codd, Leila Bridgeman
 PDF
3D Robotic Control of Micro-Scale Optical Swarms at an Interface AI summary
Nicholas Carlisle, Volker Nock, Martin Williams, Catherine Whitby, Jack L Y Chen, Ebubekir Avci
 PDF
Real-Time Linear MPC for Quadrotors on SE(3): An Analytical Koopman-Based Realization AI summary
Santosh Mohan Rajkumar, Chengyu Yang, Yuliang Gu, Sheng Cheng, NAIRA HOVAKIMYAN, Debdipta Goswami
 PDF
DRO-EDL-MPC: Evidential Deep Learning-Based Distributionally Robust Model Predictive Control for Safe Autonomous Driving AI summary
Hyeongchan Ham, Heejin Ahn
 PDF
Prepare for Warp Speed: Sub-Millisecond Visual Place Recognition Using Event Cameras AI summary
Vignesh Ramanathan, Michael J Milford, Tobias Fischer
 PDF
Learning Controlled Separation of Small Objects between Two Fingers with a Tactile Skin AI summary
Ulf Kasolowsky, Berthold Bäuml
 PDF
Stair Climbing for Vehicles with Articulated Tracked Arms: Closed-Loop Flippers Control AI summary
Thales Henriques da Silva, Fernando Lizarralde
 PDF
Towards Optimizing a Convex Cover of Collision-Free Space for Trajectory Generation AI summary
Yuwei Wu, Igor Spasojevic, Pratik Chaudhari, Vijay Kumar
 PDF
Toward Human Preference Optimization for Vision-Language-Action Models: A Pilot Study on the Limits of Imitation Learning AI summary
Tae-Won Lee, DongWook Kim
 PDF
UniOMA: Unified Optimal-Transport Multi-ModalStructural Alignment for Robot Perception AI summary
Xinrui Zu, Kevin Sebastian Luck, Shujian Yu
 PDF
SIT-LMPC: Safe Information-Theoretic Learning Model Predictive Control for Iterative Tasks AI summary
Zirui Zang, Ahmad Amine, Nick-Marios Kokolakis, Truong Xuan Nghiem, Ugo Rosolia, Rahul Mangharam
 PDF
Estimation of the Caged Object's Posture under Forces Using Stepwise Geometric Calculations AI summary
Ryota Yokomura, Yutong Liu, Rui Fukui
 PDF
EMG-Based Torque Prediction for Assistive Exoskeleton Control Using Neural Networks with Bounded Generalization Error AI summary
Duy Hoang, Lucas Quesada, Bastien Berret, Olivier BRUNEAU, Laurent Fribourg
 PDF
PPGuide: Steering Diffusion Policies with Performance Predictive Guidance AI summary
Zixing Wang, Devesh Jha, Ahmed H. Qureshi, Diego Romeres
 PDF
Optimal Control Approach for Non-Prehensile Ball Juggling Using a 7-DoF Manipulator AI summary
Joel Ramadani, Vasilije Rakcevic, Riddhiman Laha, Arne Sachtler, Valentin Le Mesle, Achim J. Lilienthal, Sami Haddadin
 PDF
Adaptive Robust Control for Rotation Tracking of a Soft Rotary Actuator with Hysteresis Compensation AI summary
Young Min Lee, Yeoil Yun, Hyungpil Moon, Hyouk Ryeol Choi, Yong Seok Ihn, Ja Choon Koo
 PDF
TrajBooster: Boosting Humanoid Whole-Body Manipulation Via Trajectory-Centric Learning AI summary
Jiacheng Liu, Pengxiang Ding, Qihang Zhou, Yuxuan Wu, Da Huang, Zimian Peng, Wei Xiao, Weinan Zhang, Lixin Yang, Cewu Lu, Donglin Wang
 PDF
Beyond the Patch: Exploring Vulnerabilities of Visuomotor Policies via Viewpoint-Consistent 3D Adversarial Object AI summary
Chanmi Lee, Minsung Yoon, Woojae Kim, Sebin Lee, Sung-eui Yoon
 PDF
Robust Unsupervised Domain Adaptation for 3D Point Cloud Segmentation under Source Adversarial Attacks AI summary
Haosheng Li, Junjie Chen, Yuecong Xu, KEMI DING
 PDF
FW-ORB-SLAM: A Monocular Visual SLAM Algorithm for Flapping-Wing Flying Robots AI summary
Zheng Zhong, Shou Chen, Qiang Fu, Jiubin Wang, Wei He
 PDF
CASSR: Continuous A-Star Search through Reachability for Real Time Footstep Planning AI summary
Jiayi Wang, Steve Tonneau
 PDF
Distributed Bearing-Only Formation Maneuvering Control for Quadrotors without Global Reference Frame AI summary
Shaoshi Li, Yuwei Zhang, Shaoping Wang, Rui Mu, Xingjian Wang
 PDF
Real-Time Seam Tracking for Robotic Welding Via Registration-Based Deformation Estimation AI summary
Surag Balajepalli, Amrish Baskaran, Naik Shounak, Christopher Eubel, Abolfazl Meyarian, Andong Dai, Pradeep Rajendran, Katsu Yamane, Trazkovich Alex
 PDF
Safe and Dynamically-Feasible Motion Planning Using Control Lyapunov and Barrier Functions AI summary
Pol Mestres, Carlos Nieto-Granda, Jorge Cortes
 PDF
Trajectory Design Trade-Offs in a 1-DoF Transformable Wheel for Obstacle Climbing AI summary
Jaebaek Lee, Youngsoo Kim
 PDF
Optimal Motion Planning for Object Picking in Industrial Contexts with Optimal Control AI summary
Dries Dirckx, Jan Swevers, Wilm Decre
 PDF
Side-Scan Sonar SLAM Using Ping-Level Landmark Detection in Feature-Poor Seabed Environments AI summary
Jinho Im, Seonghun Hong
 PDF
A Display-Based Testbed for Bridging the Gap between Drone Simulation and Real-World Testing AI summary
Kai Cai, Renma Hara
 PDF
Knowledge Synthesis in Dynamic Human-Swarm Interactions using LLMs AI summary
Boubacar Ballo, Absera Yihunie, Lilly Schwarzenbach, Hanan SALAM, Eliseo Ferrante
 PDF
Real-Time Glass Detection and Reprojection Using Sensor Fusion Onboard Aerial Robots AI summary
Malakhi Hopkins, Varun Murali, Vijay Kumar, Camillo Jose Taylor
 PDF
Towards Distributed Robotic Casualty Assessment Using Multimodal, Non-Contact Perception and Probabilistic Inference AI summary
Zachary Bortoff, Srijal Shekhar Poojari, Kleio Baxevani, Joshua Gaus, Christopher Titus, Ahmed Ashry, Derek Paley
 PDF
MoE-DP: An MoE-Enhanced Diffusion Policy for Robust Long-Horizon Robotic Manipulation with Skill Decomposition and Failure Recovery AI summary
Baiye Cheng, Tianhai Liang, Suning Huang, Maanping Shao, Feihong Zhang, Botian Xu, Zhengrong Xue, Huazhe Xu
 PDF
Azimuth-LIO: Robust LiDAR-Inertial Odometry Via Azimuth-Aware Voxelization and Probabilistic Fusion AI summary
Author Names and Affiliations Omitted for Anonymous Review
 PDF
Learning-Based Kinematic Modeling for Concentric Tube Robot: Addressing Its Nonlinearity and Snapping Behavior AI summary
Gowoon Jeong, Seong Young Ko
 PDF