Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 54 of 58
Title & Authors Actions
LEAR: Learning Edge-Aware Representations for Event-To-LiDAR Localization AI summary
Kuangyi Chen, Jun Zhang, Yuxi Hu, Yi Zhou, Friedrich Fraundorfer
 PDF
Adaptive-Cloud: Dynamic Computation Control for 3D Object Detection from LIDAR Point Clouds AI summary
Mir Sayeed Mohammad, Uday Kamal, Saibal Mukhopadhyay
 PDF
Haptics of Pulse Palpation: Simulation and Validation through Novel Sensor-Actuator System AI summary
Debadutta Subudhi, Manivanna M, K K Deepak
 PDF
Velocity-Based Admittance-Impedance Control with Contact Compliance Modeling for Robust Dual-Arm Manipulation AI summary
Samriddhi Dubey, Yash Kashiv, Shreyas Kumar, Siddhi Jain, Rajesh Kumar, Harish Palanthandalam-Madapusi
 PDF
RENet: Fault-Tolerant Motion Control for Quadruped Robots Via Redundant Estimator Networks under Visual Collapse AI summary
Yueqi ZHang, Quancheng Qian, Taixian Hou, Peng Zhai, Xiaoyi Wei, Kangmai Hu, Jiafu Yi, Lihua ZHang
 PDF
Cross-Embodiment Transfer Via Behavior-Aligned Representations AI summary
Ajay Sridhar, Jensen Gao, Jonathan Yang, Jean Mercat, Suneel Belkhale, Dorsa Sadigh
 PDF
MICA: Multi-Agent Industrial Coordination Assistant AI summary
Di Wen, Kunyu Peng, Junwei Zheng, Yufan Chen, Yitian Shi, Jiale Wei, Ruiping LIU, Kailun Yang, Rainer Stiefelhagen
 PDF
SIS: Seam-Informed Strategy for T-Shirt Unfolding AI summary
Xuzhao Huang, Akira Seino, Fuyuki Tokuda, Akinari Kobayashi, Dayuan Chen, Yasuhisa Hirata, Norman Tien, Kazuhiro Kosuge
 PDF
Quantization of DRL Models for Embedded Microcontrollers AI summary
Peter Bohm, Pauline Pounds, Peyman Moghadam, Archie Chapman, Jen Jen Chung
 PDF
MA3DSG: Multi-Agent 3D Scene Graph Generation for Large-Scale Indoor Environments AI summary
Yirum Kim, Jaewoo Kim, Ue-Hwan Kim
 PDF
Torque-Bounded Task-Space Admittance Control for Redundant Manipulators AI summary
Ryo Kikuuwe
 PDF
Scalable Multi Agent Diffusion Policies for Coverage Control AI summary
Frederic Vatnsdal, Romina Garcia Camargo, Saurav Agarwal, Alejandro Ribeiro
 PDF
Simplified 3D Control of Magnetic Objects by a Triple-Coil Static Unit on a Robotic Arm AI summary
Luca Cinus, Jessé De Oliveira Santana Alves, Tamerlan Srymbetov, Marco Ferro, Claudio Pacchierotti, Arianna Menciassi, Veronica Iacovacci
 PDF
Tidiness Score-Guided Monte Carlo Tree Search for Visual Tabletop Rearrangement AI summary
Hogun Kee, Wooseok Oh, Minjae Kang, Hyemin Ahn, Songhwai Oh
 PDF
Human-Like Robot Action Policy through Game-Based Empathetic Inference for Human-Robot Collaboration AI summary
Yubo Sheng, Yiwei Wang, Haoyuan Cheng, Huan Zhao, Han Ding
 PDF
Proposal of an Embodied Airbag-Pressure-Based Control Interface for Inflatable Personal Mobility Devices AI summary
Reon Hayami, Bill Falk, Takuya Sasatani, Shigeki Sugano, Mitsuhiro Kamezaki
 PDF
Distance-Based Shared Control for Vitreoretinal Surgery AI summary
Marius Briel, Dongyue Wu, Maximilian Hess, Ludwig Haide, Nicola Piccinelli, Gernot Kronreif, Marco Pellegrini, Eleonora Tagliabue, Franziska Mathis-Ullrich
 PDF
Action Sequence Transfer Via LLMs for Heterogeneous Environments AI summary
Choong Ho Chung, DongHwan Shin, Sung-Hee Lee
 PDF
COMPASS: Cross-embOdiment Mobility Policy Via ResiduAl RL and Skill Synthesis AI summary
Wei Liu, Huihua Zhao, Chenran Li, Yuchen Deng, Joydeep Biswas, Yan Chang, Soha Pouya
 PDF
Barrier Method for Inequality Constrained Factor Graph Optimization with Application to Model Predictive Control AI summary
Anas Abdelkarim, Daniel Görges, Holger Voos
 PDF
Joint Flow Trajectory Optimization for Feasible Robot Motion Generation from Video Demonstrations AI summary
Xiaoxiang Dong, Matthew Johnson-Roberson, Weiming Zhi
 PDF
Planning of Robotic High Intensity Focused Ultrasound Ablation Via Predictive Models of Thermal Lesions AI summary
Francesca Parrotta, Iro Papagiannaki, Selene Tognarelli, Alessandro Diodato, Arianna Menciassi
 PDF
Cable-Driven Parallel Robot-Based Needle Steering for Imaging-Compatible Interventional Procedures AI summary
Seongho Son, Ayoung Hong
 PDF
BINDER: Instantly Adaptive Mobile Manipulation with Open-Vocabulary Commands AI summary
Seongwon Cho, Daechul Ahn, Donghyun Shin, Hyeonbeom Choi, San Kim, Jonghyun Choi
 PDF
EIMC: Efficient Instance-Aware Multi-Modal Collaborative Perception AI summary
Kang Yang, Peng Wang, Lantao Li, Tianci Bu, Chen Sun, Deying Li, Yongcai Wang
 PDF
CLOT: Multi-Robot Motion Planning Via Collaborative Optimal Transport under Signal Temporal Logic Tasks AI summary
Ying Zhang, Yunyi Zhang, An Thai Le, Meng Guo
 PDF
M2oE: Modular Mixture of Experts for Multi-Morphology Reinforcement Learning of Modular Robots AI summary
Chang Liu, Qinchao Xu, Satoshi Yagi, Satoshi Yamamori, Yaonan Zhu, Yusuke Iwasawa, Kazuya Yoshida, Jun Morimoto
 PDF
OccLLaMA: A Unified Occupancy-Language-Action World Model for Enhancing Motion Planning Via Multi-Task Learning AI summary
Julong Wei, Shanshuai Yuan, Pengfei Li, Xinyi Quan, Lei Tai, Jieru Zhao, Zhongxue Gan, Wenchao Ding
 PDF
Robust Nonprehensile Object Transportation with Uncertain Inertial Parameters AI summary
Adam Heins, Angela P. Schoellig
 PDF
Vectorized Online POMDP Planning AI summary
Marcus Hoerger, Muhammad Rafi Sudrajat, Hanna Kurniawati
 PDF
Whole-Body Balance Control of Wheeled-Bipedal Robots for Perception-Less Terrain Adaptation AI summary
Young Hun Lee, Jeongdo Ahn, Dongil Park
 PDF
TMR-VLA: Vision-Language-Action Model for Magnetic Motion Control of Tri-Leg Silicone-Based Soft Robot AI summary
Ruijie Tang, Chi Kit Ng, Kaixuan Wu, Long Bai, Guankun Wang, Yiming Huang, Yupeng Wang, Hongliang Ren
 PDF
Compact Four-Degree-Of-Freedom Fingertip Feedback Device with Large Range of Motion AI summary
Seongju Byeon, Jayhyun Kwon, Amy Kyungwon Han
 PDF
Design of a Novel Loosely Coupled Parallel Structural Upper Body Exoskeleton AI summary
Xinhui Tian, Xin Zhou, Bin Xie
 PDF
Failure-Aware RL: Reliable Offline-To-Online Reinforcement Learning with Self-Recovery for Real-World Manipulation AI summary
improving task performance.
 PDF
Frequency-Guided 3D Gaussian Splatting for Challenging Low-Light View Synthesis AI summary
Zhaoyuan Mai, Bi Zeng, Boquan Zhang, Tianle Zeng, Jingxuan Lu, Jiarong Feng
 PDF
Handling Transitions across Singularities for UR-Like Serial Robots AI summary
Ivan Boschi, Alessandro De Toni, Roberto Di Leva, Edoardo Ida', Marco Carricato
 PDF
OmniVLA: Physically-Grounded Multimodal VLA with Unified Multi-Sensor Perception for Robotic Manipulation AI summary
Heyu Guo, Shanmu Wang, Ruichun Ma, Shiqi Jiang, Yasaman Ghasempour, Omid Abari, Baining Guo, Lili Qiu
 PDF
A Hybrid Optimization Framework for Grasp Synthesis under Partial Observations AI summary
Wenzheng Zhang, Fahira Afzal Maken, Tin Lai, Fabio Ramos
 PDF
Diffusion Knows Transparency: Repurposing Video Diffusion for Transparent Object Depth and Normal Estimation AI summary
Shaocong Xu, Songlin Wei, Qizhe Wei, Zheng Geng, Hong Li, Shen Licheng, Qianpu Sun, Shu Han, Bin Ma, Bohan Li, Chongjie Ye, Yuhang Zheng, Nan Wang, Saining Zhang, Hao Zhao
 PDF
Robotic Dexterous Manipulation Via Anisotropic Friction Modulation Using Passive Rollers AI summary
Ethan Fisk, Taeyoon Lee, Shenli Yuan
 PDF
Continuum Robot Segments with High Output Stiffness Via Diagonal Backbones AI summary
Ethan Eisenhauer, Joshua Gaston, Eli Milam, Caleb Rucker
 PDF
FastViDAR: Real-Time Omnidirectional Depth Estimation Via Alternative Hierarchical Attention AI summary
Hangtian ZHAO, Xiang Chen, Yizhe Li, Qianhao Wang, Haibo Lu, Fei Gao
 PDF
Path Tracking Control for a Transformable Wheel-Legged Robot Using Model Predictive Control AI summary
Chongping Sun, Na Zhao, Kaijie Zhao, Yudong Luo, Yantao Shen
 PDF
Optimal Design of Integrated Aerial Platforms with Passive Joints AI summary
Yushu Yu, Kaidi Wang, Xin Meng, Jianrui Du, Jiali Sun, Ganghua Lai, Yibo Zhang
 PDF
Shape Control for Modular Continuum Soft Arms: A Distributed Approach to Address Redundancy AI summary
Samuele Bordini, Daniele Caradonna, Antonio Bicchi, Egidio Falotico
 PDF
Multi-View Control for Robust 3D Gaussian Splatting AI summary
YuNong Mao, Zhibin Zhang, yufu shi
 PDF
Accelerating Trajectory Optimization by Exploiting B-Spline Gradient Structure AI summary
Nikos Doiron, Thomas Duquette, Gilde Vanel Tchane Djogdom, Andre Gallant
 PDF
Privacy-Aware LLMs-Assisted Task Planning for Home Robots AI summary
Zhanjie Chen, Weihua Sheng
 PDF
Swimming under Constraints: A Safe Reinforcement Learning Framework for Quadrupedal Bio-Inspired Propulsion AI summary
Xinyu Cui, Fei Han, Hang Xu, Yongcheng Zeng, Luoyang Sun, RuiZhi Zhang, Jian Zhao, Haifeng Zhang, Weikun Li, Hao Chen, Jun Wang, Dixia Fan
 PDF