Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

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
 View PDF
SafeDMPs: Integrating Formal Safety with DMPs for Adaptive HRI AI summary
Pranav Tiwari, Soumyodipta Nath, Ravi Prakash
 View 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
 View PDF
RVSPEC: Cyber-Physical Interplay Graphs for Formal Specification of Robotic Vehicle Control Software AI summary
Chaoqi Zhang, Minhyun Cho, Inseok Hwang, Hyungsub Kim
 View PDF
Formal Safety Verification and Refinement for Generative Motion Planners Via Certified Local Stabilization AI summary
Devesh Nath, Haoran Yin, Glen Chou
 View 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
 View 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
 View PDF
As You Wish: Mission Planning with Formal Verification Using LLMs in Precision Agriculture AI summary
Marcos Zuzuarregui, Stefano Carpin
 View 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
 View PDF
Automated Genomic Interpretation Via Concept Bottleneck Models for Medical Robotics AI summary
Zijun Li, Jinchang Zhang, Zhang Ming, Guoyu Lu
 View PDF
Line-Search Filter Differential Dynamic Programming for Optimal Control with Nonlinear Equality Constraints AI summary
Mingda Xu, Stephen Gould, Iman Shames
 View PDF
Beyond Domain Randomization: Safety Certificates for Reinforcement Learning AI summary
Paula Stocco, Francesco Micheli, Niklas Schmid, John Lygeros, Efe Balta
 View 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
 View PDF
Towards Autonomous Tape Handling for Robotic Wound Redressing AI summary
Xiao Liang, Lu Shen, Peihan Zhang, Soofiyan Atar, Florian Richter, Michael C. Yip
 View 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
 View 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
 View 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
 View 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
 View PDF
Conformal Koopman for Embedded Nonlinear Control with Statistical Robustness: Theory and Real-World Validation AI summary
Koki Hirano and Hiroyasu Tsukamoto
 View PDF
Decentralized Swarm Control Via SO(3) Embeddings for 3D Trajectories AI summary
Dimitria Silveria, Kleber Cabral, Peter Travis Jardine, Sidney Givigi
 View 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
 View 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
 View PDF
COSMO-Bench: A Benchmark for Collaborative SLAM Optimization AI summary
Daniel McGann, Easton Potokar, Michael Kaess
 View 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
 View 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
 View PDF
3D Robotic Swarmalators that Reconfigure, Navigate, and Avoid Obstacles AI summary
Zehui Xu, Xinyue Xu, Steven Ceron
 View PDF
Safe Vector Field for Robot Navigation in N-Dimensions AI summary
Arthur Henrique Dias Nunes, Vinicius Mariano Gonçalves, Luciano Pimenta
 View 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
 View 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
 View 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
 View PDF
Healthcare Robots for Photorejuvenation-Based Cosmetic Services AI summary
Anqing Duan, Wanli Liuchen, Domingo Gomez, Muhammmad Muddassir, David Navarro-Alarcon
 View PDF
Globally-Stable and Robust Image-Based Visual Servoing for Positioning with Respect to a Cylinder AI summary
Alessandro Colotti, Francois Chaumette
 View 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
 View PDF
Diffusion Stabilizer Policy for Automated Surgical Robot Manipulations AI summary
Chon-Lam Ho, Jianshu Hu, lei song, Hesheng Wang, Qi Dou, Yutong Ban
 View PDF
Lyapunov Stability-Driven Control Algorithm for Heterogeneous Multi-Robot Coordination AI summary
Fatemeh Rekabi Bana, Mazen Bahaidarah, Ognjen Marjanovic, Farshad Arvin
 View PDF
Dribble Master: Learning Agile Humanoid Dribbling through Legged Locomotion AI summary
Zhuoheng Wang, Jinyin Zhou, Qi Wu
 View PDF
Hybrid Agentic AI-FSM Framework for Instruction-Based Industrial Manipulation Tasks AI summary
Sungmoon Joo, Ikjune Kim
 View 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
 View 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
 View PDF
FLIP: Flowability-Informed Powder Weighing AI summary
Nikola Radulov, Alex Wright, Thomas Little, Andrew Ian Cooper, Gabriella Pizzuto
 View PDF
Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets AI summary
Ratnangshu Das, Siddhartha Upadhyay, Pushpak Jagtap
 View 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
 View 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
 View PDF
ExBody2: Advanced Expressive Humanoid Whole-Body Control AI summary
Mazeyu Ji, Xuanbin Peng, Fangchen Liu, Jialong LI, Ge Yang, Xuxin Cheng, Xiaolong Wang
 View 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
 View 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
 View 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
 View PDF
Deep Visual Odometry for Stereo Event Cameras AI summary
Sheng Zhong, Junkai Niu, Yi Zhou
 View 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
 View 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
 View PDF