Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 8 of 58
Title & Authors Actions
SLIM-VDB: A Real-Time 3D Probabilistic Semantic Mapping Framework AI summary
Anja Sheppard, Parker Ewen, Joseph Wilson, Advaith Venkatramanan Sethuraman, Benard Adewole, Anran Li, Yuzhen Chen, Ram Vasudevan, Katherine Skinner
 PDF
Scene-Aware Robotic Light Pipe Control for Vitreoretinal Surgery AI summary
Wenjun Lin, Wending Zhang, Chin-Boon Chng, Yong Jun Tan, Chee Kong Chui
 PDF
Weighted Group-K Consistent Set Maximization for Outlier Rejection of Azimuth-Elevation Measurements AI summary
Kalliyan Velasco, T.W. McLain, Joshua Mangelson
 PDF
Tuning ROS 2 for Energy-Efficient Navigation: Empirical Insights from Costmap 2D Configurations AI summary
Michel Albonico, Andreas Wortmann, Ivano Malavolta
 PDF
OmniNet: Omnidirectional Jumping Neural Network with Height-Awareness for Quadrupedal Robots AI summary
Yimin Han, Jiahui ZHANG, Zeren Luo, YINZHAO DONG, Jinghan Lin, Liu Zhao, Shihao Dong, Peng Lu
 PDF
Multistability Enabled Passive Multiplexing in an n-DOF, Underactuated Hyper-Redundant Robot AI summary
Cole Nagata, Jordan Raney, Mark Yim
 PDF
Trajectory Planning Using Safe Ellipsoidal Corridors As Projections of Orthogonal Trust Regions AI summary
Akshay Jaitly, Jon Arrizabalaga, Guanrui Li
 PDF
Intent Recognition in Gait Transition Using Muscle Volume Sensors with Deep Learning AI summary
Geonwoo Park, MooJin Woo, Jiwoo Oh, Hyeon Chan Chei, Keonyoung Oh
 PDF
A Shared Control Architecture for Vitreoretinal Surgery with Safety Guarantee Using Control Barrier Functions AI summary
Nicola Piccinelli, Federico Vesentini, Marius Briel, Ludwig Haide, Eleonora Tagliabue, Marco Pellegrini, Gernot Kronreif, Riccardo Muradore
 PDF
TWISTED-RL: Hierarchical Skilled Agents for Knot-Tying without Human Demonstrations AI summary
Guy Freund, Tom Jurgenson, Matan Sudry, Erez Karpas
 PDF
Clinicians� Perspectives on Safety, Ethical, and Legal Considerations for Home-Based Physical Rehabilitation Robots AI summary
VIGNESH VELMURUGAN, Patrick Holthaus, Farshid Amirabdollahian, Mauro Dragone
 PDF
Spline-FRIDA: Towards Diverse, Humanlike Robot Painting Styles with a Sample-Efficient, Differentiable Brush Stroke Model AI summary
Lawrence Chen, Peter Schaldenbrand, Tanmay Shankar, Lia Coleman, Jean Oh
 PDF
Tactile-Driven Dexterous In-Hand Writing Via Extrinsic Contact Sensing AI summary
Can Zhao, Lingzi Xie, Bidan Huang, Shuai WANG, Daolin Ma
 PDF
Programmable Assembly and Cooperative Manipulation of Heterogeneous Microspheres Via Optoelectronic Tweezers AI summary
Wenyan Niu, Ao Wang, Shunxiao Huang, jingwen ye, Zaiyang Chen, Chan Li, Hongyan Sun, Zijin Zeng, Yingjian Guo, Lin Feng
 PDF
Robust Differentiable Collision Detection for General Objects AI summary
Jiayi Chen, Wei Zhao, Liangwang Ruan, Baoquan Chen, He Wang
 PDF
Rendering Multi-Human and Multi-Object with 3D Gaussian Splatting AI summary
Weiquan Wang, Jun Xiao, Feifei Shao, Yi Yang, Yueting Zhuang, Long Chen
 PDF
Learning 6D Object Pose Estimation with Event Cameras Using Synthetic Data and Domain Randomization AI summary
Oussama Abdul Hay, Xiaoqian Huang, Muhammad Ahmed Humais, Abdulla Ayyad, Randa Almadhoun, Yahya Zweiri
 PDF
HEXAR: A Hierarchical Explainability Architecture for Robots AI summary
Tamlin Love, Ferran Gebellí, Pradip Pramanick, Antonio Andriella, Guillem Alenyà , Anaís Garrell, Raquel Ros, Silvia Rossi
 PDF
M3Bench: Benchmarking Whole-Body Motion Generation for Mobile Manipulation in 3D Scenes AI summary
Zeyu Zhang, Sixu Yan, Muzhi Han, Zaijin Wang, Xinggang Wang, Song-Chun Zhu, Hangxin Liu
 PDF
Learning Push-Grasp Synergy for Occluded Objects in Cluttered Environments AI summary
Ziang Li, Haorui Wu, Zhiqi Chen, Haozhe Zhang, Yuzhe Huang, Changshui Zhang
 PDF
A Modular, Wireless and Wearable Biosignal Acquisition Platform AI summary
Antonios Doukakis, Aikaterini Smyrli, Makis Livadas, Henrique De Melo Ribeiro, Shadiya Alingal Meethal, Mohamad Reza Shahabian Alashti, Gabriella Lakatos, Patrick Holthaus, Farshid Amirabdollahian
 PDF
Probability-Driven Gating for Resilient Multi-Modal Tracking in Robotic Systems AI summary
Huan Wang, Haomin Chen, Pengcheng Du, Pengju Si, Baofeng Ji, Yongming Yang
 PDF
A Taxonomy for Evaluating Generalist Robot Manipulation Policies AI summary
Jensen Gao, Suneel Belkhale, Sudeep Dasari, Ashwin Balakrishna, Dhruv Shah, Dorsa Sadigh
 PDF
OHMM-PA: A Learning from Demonstration Approach Using Online Hidden Markov Models with Path Planning AI summary
Jan Irsperger, Diego Fernandez Prado, and Eckehard Steinbach
 PDF
DreamSea: Photorealistic 3D Underwater Terrain Generation by Latent Fractal Diffusion Models AI summary
Tianyi Zhang, Weiming Zhi, Joshua Mangelson, Matthew Johnson-Roberson
 PDF
A Natural Language Interface for Multi-Constraint Spatiotemporal Planning Via LLM-Parameterized Mixed-Integer Scheduling and A* AI summary
Sean Ye, Matthew Luebbers, Matthew Gombolay
 PDF
Energy-Based Injury Protection Database: Including Shearing Contact Thresholds for Hand and Finger Using Porcine Surrogates AI summary
Dirk M ̈uller, Nader Rajaei, Rainer Burgkart and Sami Haddadin
 PDF
FilMBot: A High-Speed Soft Parallel Robotic Micromanipulator AI summary
Jiangkun Yu, Houari Bettahar, Hakan Kandemir, Quan Zhou
 PDF
Manipulator Generative Design Optimization for Orchard Environments AI summary
Marcus Rosette, Tianhai Wang, James Burridge, Wei Guo, Joseph Davidson
 PDF
On Robust Coordinated Compliant Control Design for Space Manipulators under Flexible and Uncertain Dynamics AI summary
Kostas Nanos, Evangelos Papadopoulos
 PDF
Long-Term Human Motion Prediction Using Spatio-Temporal Maps of Dynamics AI summary
Yufei Zhu, Andrey Rudenko, Tomasz Piotr Kucner, Achim J. Lilienthal, Martin Magnusson
 PDF
Manifold-Constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning AI summary
Qingyi Chen, Ruiqi Ni, Junyoung Kim, Ahmed H. Qureshi
 PDF
GSWorld: Closed-Loop Photo-Realistic Simulation Suite for Robotic Manipulation AI summary
Guangqi Jiang, Haoran Chang, Ri-Zhao Qiu, Yutong Liang, Mazeyu Ji, Jiyue Zhu, Xueyan Zou, Zhao Dong, Xiaolong Wang
 PDF
Learning Dynamical System-Based Robot Motions from Demonstrations Via ODE-Driven Diffeomorphic Mappings AI summary
Haoyu Zhang, Long Cheng
 PDF
Voice-Driven Assistance and Resistance Modulation in a Soft Hip Exosuit Using a Transformer-Based Speech Recognition Model AI summary
Enrica Tricomi, Daniel Lindner, Xiaohui Zhang, Luka Miskovic, Lorenzo Masia
 PDF
Embodied Stability in a Minimally-Actuated Soft Robot for Autonomous Exploration AI summary
Lior Salem, Adam Vichik, Amir Gat, Yizhar Or
 PDF
Hybrid Soft-Rigid Elbow Exosuit: Theory, Mechatronic Design, and Experimental Assessment AI summary
Ali KhalilianMotamed Bonab, Cristian Camardella, Antonio Frisoli, and Domenico Chiaradia
 PDF
Learning Quadrupedal Locomotion for a Heavy Hydraulic Robot Using an Actuator Model AI summary
Minho Lee, Hyeonseok Kim, Jin Tak Kim, Sangshin Park, Jeong Hyun Lee, Jungsan Cho, Jemin Hwangbo
 PDF
InsSo3D: Inertial Navigation System and 3D Sonar SLAM for Turbid Environment Inspection AI summary
Simon Archieri, AHMET FATIH CINAR, Shu Pan, Scharff Willners Jonatan, Michele Grimaldi, Ignacio Carlucho, Yvan R. Petillot
 PDF
TeTRA-VPR: A Ternary Transformer Approach for Compact Visual Place Recognition AI summary
Oliver Edward Grainge, Michael J Milford, Indu Bodala, Sarvapali Ramchurn, Shoaib Ehsan
 PDF
GRU-Based Kalman Filtering for 3D Multi-Object Tracking AI summary
Zikang Yuan,, Xiaoxiang Wang, Jiaxin Liu, Miaojie Feng, Zhaoxing Zhang and Xin YangB
 PDF
Stream-To-Act: ROS 2 Native Token Streaming for Continuous Motion Execution of Vision-Language-Action Models AI summary
Dahyun Kim, Yunseong Jeon, Hongkyun Park, Jong-Chan Kim
 PDF
Transfer Your Safety: Learning Transferable Model-Free Safety Filters from a Single Policy to Enhance Safety across Diverse Tasks AI summary
Junjun Xie, Siru Li, Shuhao Zhao, Xiaochen Xie and Liang Hu∗
 PDF
When Attention Betrays: Erasing Backdoor Attacks in Robotic Policies by Reconstructing Visual Tokens AI summary
Mengde Li, Jifeng Xuan∗and Miao Li,,∗
 PDF
RCM Constraint-Consistent Dynamic Control in Surgical Robots AI summary
Yu Li, Hamid Sadeghian, Zewen Yang, Valentin Le Mesle, Sami Haddadin
 PDF
Informed Federated Learning to Train a Robotic Arm Inverse Dynamic Model AI summary
Gabriel Jimenez-Perera, Brayan Valencia-Vidal, Niceto R. Luque, Eduardo Ros, Francisco Barranco
 PDF
DynDLO: Learning-Based Trajectory Planning for Dynamic Robotic Manipulation of Deformable Linear Objects AI summary
Daniele Maria Liuni, Alessandro Bartesaghi, Andrea Monguzzi, Alessandra Miuccio, Andrea Maria Zanchettin, Paolo Rocco
 PDF
SSQA: Sibling-Selective Quadtree Attention for Hierarchical Modeling in Perception Tasks AI summary
Yufan Chen, Arnav Bali, Angela Liu, Laura Zheng, Ming C. Lin
 PDF
Empirical Contact Models for Soft Spherical Robots in Drake AI summary
Micah Oevermann, Dhruv Datta, Dylan Hilburn, Derek Pravecek, Rishi Jangale, Aaron Villanueva, Robert Ambrose
 PDF
A Computationally Efficient Nonparametric Approach for Robot Imitation Learning AI summary
Yijin Wang, Shaokang Wu, Chen Liu, Chuankai Zhang, João Silvério, Yanlong Huang
 PDF