Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 1 of 58
Title & Authors Actions
LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback AI summary
Yunhao Yang, Junyuan Hong, Gabriel Jacob Perin, Zhiwen Fan, Li Yin, Zhangyang (Atlas) Wang, Ufuk Topcu
 PDF
SafeDMPs: Integrating Formal Safety with DMPs for Adaptive HRI AI summary
Pranav Tiwari, Soumyodipta Nath, Ravi Prakash
 PDF
SafeNet: A Neural-Symbolic Network for Safe Planning in Robotic Systems Using Formal Method-Guided LLM Fine-Tuning AI summary
Zifan Wang, Jialiang Fan, Rui Zuo, Qinru Qiu, Fanxin Kong
 PDF
RVSPEC: Cyber-Physical Interplay Graphs for Formal Specification of Robotic Vehicle Control Software AI summary
Chaoqi Zhang, Minhyun Cho, Inseok Hwang, Hyungsub Kim
 PDF
Formal Safety Verification and Refinement for Generative Motion Planners Via Certified Local Stabilization AI summary
Devesh Nath, Haoran Yin, Glen Chou
 PDF
Overcoming Imperfect Kinematics in Surgical Robotics through Sim-To-Real Visuomotor Learning AI summary
Zhaoxuan Yan, Kaizhong Deng, Zhaoyang Jacopo Hu, George Mylonas, Daniel Elson
 PDF
Reaction Templates: A Formal Approach to Realize Reactivity in Task and Motion Planning-Based Action Execution AI summary
Anne Köpken, Adrian Simon Bauer, Nesrine Batti, Daniel Leidner
 PDF
As You Wish: Mission Planning with Formal Verification Using LLMs in Precision Agriculture AI summary
Marcos Zuzuarregui, Stefano Carpin
 PDF
Model Reconciliation through Explainability and Collaborative Recovery in Assistive Robotics AI summary
Britt Besch∗,, Tai Mai, Jeremias Thun, Markus Huff,, J ̈orn Vogel, Freek Stulp, Samuel Bustamante
 PDF
Automated Genomic Interpretation Via Concept Bottleneck Models for Medical Robotics AI summary
Zijun Li, Jinchang Zhang, Zhang Ming, Guoyu Lu
 PDF
Line-Search Filter Differential Dynamic Programming for Optimal Control with Nonlinear Equality Constraints AI summary
Mingda Xu, Stephen Gould, Iman Shames
 PDF
Beyond Domain Randomization: Safety Certificates for Reinforcement Learning AI summary
Paula Stocco, Francesco Micheli, Niklas Schmid, John Lygeros, Efe Balta
 PDF
Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications AI summary
Enrico Saccon, Davide De Martini, Matteo Saveriano, Edoardo Lamon, Luigi Palopoli, Marco Roveri
 PDF
Towards Autonomous Tape Handling for Robotic Wound Redressing AI summary
Xiao Liang, Lu Shen, Peihan Zhang, Soofiyan Atar, Florian Richter, Michael C. Yip
 PDF
An Efficient Learning-Based Task Planning Approach Using a Bio-Inspired Action Context-Free Grammar for Bimanual Manipulation AI summary
Carmona David, Jun Yang, Haoyong Yu
 PDF
Agility Meets Stability: Versatile Humanoid Control with Heterogeneous Data AI summary
Yixuan Pan, Ruoyi Qiao, Li Chen, Kashyap Chitta, Liang Pan, Haoguang Mai, Qingwen Bu, Cunyuan Zheng, Hao Zhao, Ping Luo, Hongyang Li
 PDF
Safety-Critical and Distributed Nonlinear Predictive Controllers for Teams of Quadrupedal Robots AI summary
Basit Muhammad Imran, Jeeseop Kim, TAIZOON ALIASGAR CHUNAWALA, Alexander Leonessa, Kaveh Akbari Hamed
 PDF
SurgIRL: Towards Life-Long Learning for Surgical Automation by Incremental Reinforcement Learning AI summary
Yun-Jie Ho, Zih-Yun Chiu, Yuheng Zhi, Michael C. Yip
 PDF
Conformal Koopman for Embedded Nonlinear Control with Statistical Robustness: Theory and Real-World Validation AI summary
Koki Hirano and Hiroyasu Tsukamoto
 PDF
Decentralized Swarm Control Via SO(3) Embeddings for 3D Trajectories AI summary
Dimitria Silveria, Kleber Cabral, Peter Travis Jardine, Sidney Givigi
 PDF
TEMPO-VINE: A Multi-Temporal Sensor Fusion Dataset for Localization and Mapping in Vineyards AI summary
Mauro Martini, Marco Ambrosio, Judith Vilella-Cantos, Alessandro Navone, Marcello Chiaberge
 PDF
Efficient Real-World Benchmarking for Practical Fine-Grained Product Identification in Retail Robotics for Picking and Stock Taking AI summary
Jochen Lindermayr, Florian Jordan, Cagatay Odabasi, Werner Kraus, Richard Bormann, Marco F. Huber
 PDF
COSMO-Bench: A Benchmark for Collaborative SLAM Optimization AI summary
Daniel McGann, Easton Potokar, Michael Kaess
 PDF
TacTip-based Dynamic Contact Force Estimation with Sequential Tactile Images and Its Applications to Robotic Force Tracking AI summary
Wantong Xie, Zhenyu Lu, Jingyang Liu, Jialong Yang, Lu Chen, Chenguang Yang
 PDF
MemOcc: Hierarchical Memory for Indoor Continuous Occupancy Mapping AI summary
Yang YIRong, Lin Yuxin, Guo Longteng, Song Li, Wang Qunbo, Yu Ming-Ming, Wu Wenjun, Liu Jing
 PDF
3D Robotic Swarmalators that Reconfigure, Navigate, and Avoid Obstacles AI summary
Zehui Xu, Xinyue Xu, Steven Ceron
 PDF
Safe Vector Field for Robot Navigation in N-Dimensions AI summary
Arthur Henrique Dias Nunes, Vinicius Mariano Gonçalves, Luciano Pimenta
 PDF
iVISION-2DCD: A Long-Term Change Detection Dataset for Large-Scale Outdoor Construction Monitoring AI summary
Dayou Mao, Yuchen Lin, Ashkan Ebadi, John S. Zelek, Alexander Wong, Yuhao Chen
 PDF
LeHome: A Simulation Environment for Deformable Object Manipulation in Household Scenarios AI summary
Zeyi Li, Yushi Yang, Shawn Xie, Jingkai Xu, Tianxing Chen, Yuran Wang, Zhenhao Shen, Yan Shen, Yue Chen, Wenjun Li, Yukun Zheng, Chaorui Zhang, SIYI LIN, Fei Teng, Hongjun Yang, Ming Chen, Steve Xie, Ruihai Wu
 PDF
ASAR: ε-Optimal Graph Search for Minimum Expected-Detection-Time Paths with Path Budget Constraints for Search and Rescue (SAR) AI summary
Eric Mugford, Jonathan Gammell
 PDF
Healthcare Robots for Photorejuvenation-Based Cosmetic Services AI summary
Anqing Duan, Wanli Liuchen, Domingo Gomez, Muhammmad Muddassir, David Navarro-Alarcon
 PDF
Globally-Stable and Robust Image-Based Visual Servoing for Positioning with Respect to a Cylinder AI summary
Alessandro Colotti, Francois Chaumette
 PDF
You Only Pose Once: A Minimalist's Detection Transformer for Monocular RGB Category-Level 9D Multi-Object Pose Estimation AI summary
Hakjin Lee, Junghoon Seo, Jaehoon Sim
 PDF
Diffusion Stabilizer Policy for Automated Surgical Robot Manipulations AI summary
Chon-Lam Ho, Jianshu Hu, lei song, Hesheng Wang, Qi Dou, Yutong Ban
 PDF
Lyapunov Stability-Driven Control Algorithm for Heterogeneous Multi-Robot Coordination AI summary
Fatemeh Rekabi Bana, Mazen Bahaidarah, Ognjen Marjanovic, Farshad Arvin
 PDF
Dribble Master: Learning Agile Humanoid Dribbling through Legged Locomotion AI summary
Zhuoheng Wang, Jinyin Zhou, Qi Wu
 PDF
Hybrid Agentic AI-FSM Framework for Instruction-Based Industrial Manipulation Tasks AI summary
Sungmoon Joo, Ikjune Kim
 PDF
Multi-Robot Trajectory Planning Via Constrained Bayesian Optimization and Local Cost Map Learning with STL-Based Conflict Resolution AI summary
Sourav Raxit, Abdullah Al Redwan Newaz, Jose Fuentes, Paulo Padrao, Ana Cavalcanti, Leonardo Bobadilla
 PDF
OmniMap: A General Mapping Framework Integrating Optics, Geometry, and Semantics AI summary
Yinan Deng, Yufeng Yue, Jianyu Dou, Jingyu Zhao, Jiahui Wang, Yujie Tang, Yi Yang, Mengyin Fu
 PDF
FLIP: Flowability-Informed Powder Weighing AI summary
Nikola Radulov, Alex Wright, Thomas Little, Andrew Ian Cooper, Gabriella Pizzuto
 PDF
Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets AI summary
Ratnangshu Das, Siddhartha Upadhyay, Pushpak Jagtap
 PDF
The Case of Metadata Leakage in ROS 2: Fingerprintability, Security Implications, and Internet-Wide Vulnerability Measurements AI summary
Fayzah Alshammari, Sam Der, Qi Alfred Chen
 PDF
SEEC: Stable End-Effector Control with Model-Enhanced Residual Learning for Humanoid Loco-Manipulation AI summary
Jaehwi Jang, Zhuoheng Wang, Ziyi Zhou, Feiyang Wu, Ye Zhao
 PDF
ExBody2: Advanced Expressive Humanoid Whole-Body Control AI summary
Mazeyu Ji, Xuanbin Peng, Fangchen Liu, Jialong LI, Ge Yang, Xuxin Cheng, Xiaolong Wang
 PDF
Data Scaling Laws for Imitation Learning-Based End-To-End Autonomous Driving AI summary
Yupeng Zheng, Pengxuan Yang, zhongpu xia, Qichao Zhang, Yuhang Zheng, Ben Lu, Teng Zhang, Chao Han, Weize Li, Songen Gu, Xianpeng Lang, Xiangyuan Lan, Dongbin Zhao
 PDF
CaFe-TeleVision: A Coarse-To-Fine Teleoperation System with Immersive Situated Visualization for Enhanced Ergonomics AI summary
Zixin Tang, Yiming Chen, Quentin Rouxel, Dianxi Li, Shuang Wu, Fei Chen
 PDF
MIND - Multi-Feature Implicit Neural Descriptors for Robotic Surface Processing of 3D Objects with Variations in Geometry AI summary
Anish Pratheepkumar, Christian Hartl-Nesic, Markus Ikeda, Fabian Widmoser, Andreas Pichler, Markus Vincze
 PDF
Deep Visual Odometry for Stereo Event Cameras AI summary
Sheng Zhong, Junkai Niu, Yi Zhou
 PDF
Over-Actuation in Soft Robots: Towards Active Variable Stiffness & Viscoelasticity AI summary
Carlos Ernesto Vazquez-Garcia, Ernesto Olguín Díaz, Vicente Parra-Vega
 PDF
From Composable Models to Correct-By-Construction Software for Contact-Rich Robotic Mobile-Manipulation Tasks AI summary
Sven Schneider, Vamsi Krishna Kalagaturu, Herman Bruyninckx, Nico Hochgeschwender
 PDF