Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 3 of 58
Title & Authors Actions
A Physiotherapy Video Matching Method Supporting Arbitrary Camera Placement Via Angle-Of-Limb-Based Posture Structures AI summary
Jiunn-Wu Lin, Yao-Sheng Chou, YUN PIN HUANG, Min-Hsiung Hung, Ming-Hung Kao, Jia Ji, Lin-Yi Jiang, Pi Wei Chen, Chao-Chun Chen
 PDF
RoboSQ: Semantic Queries for Task-Aligned Robot Training Data AI summary
Kaiyuan Chen, Shuangyu Xie, Kush Hari, Andrew Goldberg, Kavish Kondap, Ken Goldberg
 PDF
Failure Identification in Imitation Learning Via Statistical and Semantic Filtering AI summary
Quentin Rolland,, Fabrice Mayran de Chamisso, Jean-Baptiste Mouret
 PDF
BEV-Patch-PF: Particle Filtering with BEV-Aerial Feature Matching for Off-Road Geo-Localization AI summary
Dongmyeong Lee, Jesse Quattrociocchi, Christian Ellis, Rwik Rana, Amanda Adkins, Adam Uccello, Garrett Warnell, Joydeep Biswas
 PDF
Pack It In: Packing into Partially Filled Containers through Contact AI summary
David Mackenzie Charles Russell, Zisong Xu, Maximo A. Roa, Mehmet R Dogar
 PDF
Is Open Robotics Innovation a Threat to International Peace and Security? AI summary
Ludovic Righetti, Vincent Boulanin
 PDF
Depth Completion in Unseen Field Robotics Environments Using Extremely Sparse Depth Measurements AI summary
Marco Job, Thomas Stastny, Eleni Kelasidi, Roland Siegwart, Michael Pantic
 PDF
LEGO: Latent-Space Exploration for Geometry-Aware Optimization of Humanoid Kinematic Design AI summary
JiHwan Yoon, Taemoon Jeong, Jeongeun Park, Chanwoo Kim, Jaewoon Kwon, Yonghyeon Lee, Kyungjae Lee, Sungjoon Choi
 PDF
Harnessing Robotics for EU Forest Habitats Monitoring AI summary
Simone Tolomei, Giovanni Di Lorenzo, Franco Angelini, Leopoldo de Simone, Emanuele Fanfarillo, Tiberio Fiaschi, Silvia Cannucci, Simona Maccherini, Paolo Remagnino, Claudia Angiolini, Manolo Garabini
 PDF
Open-Source Web Lab for Remote and On-Site Robotics Practice in a Realistic Zero-Setup ROS2 Development Environment AI summary
Dāvis Krūmiņ�, Veiko Vunder, Heiki Kasemägi, Alvo Aabloo, Karl Kruusamäe
 PDF
The RoboAtlas: Mapping the Global Robotics Landscape AI summary
Jiacheng Zhang, Shuo Sun, Vicky Charisi, Xinru Wang, chen xinyue, Zhexuan Ma, Alok Prakash, Thomas Malone
 PDF
Autonomous Block Assembly for Boom Cranes with Passive Joint Dynamics: Integrated Vision MPC Control AI summary
Gerald Ebmer, Minh Nhat Vu, Tobias Glück, Wolfgang Kemmetmueller
 PDF
A Roadmap for Responsible Robotics AI summary
Dejanira Araiza Illan, Kevin Baum, Helen Beebee, Raja Chatila, Sarah Moth-Lund Christensen, Simon Coghlan, Emily Charlotte Collins, Susannah Kate Devitt, Alcino Cunha, Anna Dobrosovestnova, Duijf Hein, Vanessa Evers, Michael Fisher, Nadin Kökciyan, Nico Hochgeschwender, Séverin Lemaignan, Francisco Javier Rodríguez Lera, Sara Ljungblad, Martin Magnusson, Masoumeh Mansouri, Michael J Milford, AJung Moon, Thomas M. Powers, Pericle Salvini, Teresa Scantamburlo, Nick Schuster, Slavkovik Marija, Ufuk Topcu, Daniel Fernando Preciado Vanegas, Andrzej Wasowski, Yi Yang
 PDF
Privacy-Preserving Robotic Perception for Object Detection in Curious Cloud Robotics AI summary
Michele Antonazzi, Matteo Alberti, Alex Bassot, Matteo Luperto, Nicola Basilico
 PDF
A Lightweight Agentic Multimodal Framework for Scene Understanding in Healthcare Robotics AI summary
Saurav Jha, Stefan K. Ehrlich
 PDF
A Differentiable Distance Metric for Robotics through Generalized Alternating Projection AI summary
Vinicius Mariano Gonçalves, Shiqing Wei, Eduardo Malacarne Soeiro de Souza, Prashanth Krishnamurthy, Anthony Tzes, Farshad Khorrami
 PDF
One-Shot Autofocus Via User-Adaptive Gaze Control for Robot-Assisted Microsurgery AI summary
Yao Guo, Guang-Zhong Yang
 PDF
Validation of Space Robotics in Underwater Environments Via Disturbance Robustness Equivalency AI summary
Joris Verhagen, Elias Krantz, Chelsea Sidrane, David Dörner, Nicola De Carli, Pedro Roque, Huina Mao, Gunnar Tibert, Ivan Stenius, Christer Fuglesang, Dimos V. Dimarogonas, Jana Tumova
 PDF
From Language to Deployment: Offline Optimization and Ontology-Guided Behavior Tree Generation for Transparent Robot Applications AI summary
Ruichao Wu, Jiwei Pan, Mohamed Youssef, Bjoern Kahl, Werner Kraus, Andrey Morozov
 PDF
Learning-Based Robust Control: Unifying Exploration and Distributional Robustness for Reliable Robotics Via Free Energy AI summary
Hozefa Jesawada, Giovanni Russo, Abdalla Swikir, Fares Abu-Dakka
 PDF
End-To-End Low-Level Neural Control of an Industrial-Grade 6D Magnetic Levitation System AI summary
Philipp Hartmann, Jannick Stranghöner, Klaus Neumann
 PDF
GenLaM: Generative Layered Mesh for Multi-Modal Sensor Emulation in Robotics AI summary
Aakash Singh Bais, Akash Patel, Christoforos Kanellakis, George Nikolakopoulos
 PDF
Safe Robotics Control with Directional Projection Control Barrier Functions Via Differentiable Optimization AI summary
Yan Wei, Jiajie Yao, Xinyi Yu, Linlin Ou
 PDF
Python Bindings for a Large C++ Robotics Library: The Case of OMPL AI summary
Weihang Guo, Theodoros Tyrovouzis, Lydia Kavraki
 PDF
Detection of Jamming and Low Harvesting Height in Automated Cabbage Harvesting AI summary
Masaki Asano, Takanori Fukao
 PDF
A Novel Upper Limb Rehabilitation Framework Based on Dual-Arm Robotics for Therapist-Like Traction Training AI summary
Gao Lin, Fei Wang, Shuai Han
 PDF
Leveraging Cost-Effective Robotics for K-12 STEM Education through Water Quality Monitoring Tasks AI summary
Rishi Mukherjee, Andrew Ruiz, Travis Henderson, Resha Tejpaul, Kris Simonson, David Mulla, Brian McNeill, Nikos Papanikolopoulos, Junaed Sattar
 PDF
Exploiting Vulnerabilities: Universal Adversarial Attacks on Vision-Language-Action Models in Robotics AI summary
Songhua Yang, Ziyu Liu, Yuanwei Liu, Xuetao Li, Xuanye Fei, He Huang, Zheng WANG, Miao Li
 PDF
MATrack: Efficient Multiscale Adaptive Tracker for Real-Time Nighttime UAV Operations AI summary
Xuzhao Li, Xuchen Li, Shiyu Hu
 PDF
TEGA: A Tactile-Enhanced Grasping Assistant for Assistive Robotics Via Sensor Fusion and Closed-Loop Haptic Feedback AI summary
Hengxu You, Tianyu Zhou, Fang Xu, Kaleb Smith, Jing Du
 PDF
Semantic 3D Skeleton Extraction for Precision Agricultural Robotics : Preliminary Result AI summary
Dayeon Yang, Chanyoung Ju
 PDF
Uncovering Communication Bottlenecks in Scalable ROS 2 Deployments on Kubernetes for Cloud/Edge Robotics AI summary
Yongzhou Zhang, Oliver Waldhorst, Björn Hein
 PDF
TIGeR: Tool-Integrated Geometric Reasoning in Vision-Language Models for Robotics AI summary
Yi Han, Enshen Zhou, Shanyu Rong, Jingkun An, Pengwei Wang, Zhongyuan Wang, Cheng Chi, Lu Sheng, Shanghang Zhang
 PDF
MineInsight: A Multi-Sensor Dataset for Humanitarian Demining Robotics in Off-Road Environments AI summary
Mario Malizia, Charles Hamesse, Ken Hasselmann, Geert De Cubber, Nikolaos Tsiogkas, Eric Demeester, Rob Haelterman
 PDF
Integrating Artificial Vision and Wearable Robotics: Adaptive Assistance Enabled by Manipulation Context Awareness AI summary
Sandro Ferrari, Emanuele Aimi, Francesco Missiroli, Federico Masiero, Maura Casadio, Lorenzo Masia
 PDF
Spatio-Temporal Consistent Semantic Mapping for Robotics Fruit Growth Monitoring AI summary
Cyrill Stachniss
 PDF
Force Estimation and Position Control of a Hydraulic Folded Pouch Actuator for Soft Robotics AI summary
Jie Li, Jianlin Yang, Jinling Qiu, Hanqi Lou, Zhangxi Zhou, George Mylonas
 PDF
Soft 3D-Printed Endoskeleton for Precise Tendon Routing in Soft Robotics AI summary
Emanuele Solfiti, Alessio Mondini, Emanuela Del Dottore, Barbara Mazzolai, Alberto Parmiggiani
 PDF
Learnable Conformal Prediction for Safe and Efficient Robotics under Perception and Planning Uncertainties AI summary
Divake Kumar, Sina Tayebati, Francesco Migliarba, Ranganath Krishnan, Amit Ranjan Trivedi
 PDF
A Soft Oscillator with On-The-Fly Tunable Dynamics for Adaptive Robotics AI summary
Shaoxiang Wang, Tianqi Yue, Hanwen Ge, Hemma Philamore, Andrew Conn
 PDF
The iMETRO Dynamic Simulation: An Open-Source Simulator for Intravehicular Space Robotics Research AI summary
Nikki Hart, Nathan Dunkelberger, Erik Holum, Lydia Kavraki, Emma Zemler, Shaun Azimi
 PDF
Implementing Robust M-Estimators with Certifiable Factor Graph Optimization AI summary
Zhexin Xu, Hanna Zhang, Helena Calatrava, Pau Closas, David Rosen
 PDF
The Translational/ Rotational Piezoelectric Impact Drive Mechanism for Cell/tissue Extraction from Mouse Cranial Window AI summary
Hirotaka Sugiura, Hiroki Kunii, Satoshi Amaya, Kawamura Shuntaro, Takebe Takanori, Fumihito Arai
 PDF
Placeit! a Framework for Learning Robot Object Placement Skills AI summary
Amina Ferrad, Johann Huber, François Hélénon, Julien Gleyze, Mahdi Khoramshahi, Stéphane Doncieux
 PDF
SilRef: Joint Visual Silhouette and Tactile Pose Optimization for Transparent Object Manipulation AI summary
Saifeddine Aloui, Mathieu Grossard, Markus Vincze and Andreas Holzinger
 PDF
Pseudocode-Guided Structured Reasoning for Automating Reliable Inference in Vision-Language Models AI summary
Weicong Ni, Tianbao Jiang, Linlin Wang
 PDF
PS-ECBS: A New Algorithm for Multi-Agent Path Finding with Optimal Task Assignment AI summary
Cheng Zhang, Shixin Liu
 PDF
SurgSync: Time-Synchronized Multi-Modal Data Collection Framework and Dataset for Surgical Robotics AI summary
Haoying Zhou, Chang Liu, Yimeng Wu, Junlin Wu, Zijian Wu, Yu Chung Lee, Sara Martuscelli, Septimiu E. Salcudean, Gregory Scott Fischer, Peter Kazanzides
 PDF
Subsecond 3D Mesh Generation for Robot Manipulation AI summary
Qian Wang, Omar Abdellall, Tony Gao, Xiatao Sun, Daniel Rakita
 PDF
Global Planning for Object Navigation Via a Weighted Traveling Repairman Problem Formulation AI summary
Ruimeng Liu, Xinhang Xu, Shenghai Yuan, Lihua Xie
 PDF