Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 49 of 58
Title & Authors Actions
Will People Enjoy a Robot Trainer? a Case Study with Snoopie the Pacerbot AI summary
Maximilian Du, Jennifer Grannen, Shuran Song, Dorsa Sadigh
 PDF
A Narwhal-Inspired Sensing-To-Control Framework for Small Fixed-Wing Aircraft AI summary
Fengze Xie, Xiaozhou Fan, Jacob Schuster, Yisong Yue, Gharib Morteza
 PDF
Robustness of Panoptic Segmentation for Degraded Automotive Cameras Data AI summary
Yiting Wang, Haonan Zhao, Mehrdad Dianati, Kurt Debattista, Valentina Donzella
 PDF
Automatic Lighthouse Calibration Using Conics for Indoor Robot Localization AI summary
Said Alvarado-Marin, Alexandre Abadie, Martina Balbi, Thomas Watteyne, Filip Maksimovic
 PDF
A Stable Model Reference Adaptive Controller Developed for a Prosthetic Hand Wrist AI summary
Shifa Sulaiman, Paolino De Risi, Francesco Schetter, Fanny Ficuciello
 PDF
Robustness-Aware Tool Selection and Manipulation Planning with Learned Energy-Informed Guidance AI summary
Yifei Dong, Yan Zhang, Sylvain Calinon, Florian T. Pokorny
 PDF
Shear-Based Grasp Control for Multi-Fingered Underactuated Tactile Robotic Hands AI summary
Christopher Ford, Haoran Li, Manuel Giuseppe Catalano, Matteo Bianchi, Efi Psomopoulou, Nathan Lepora
 PDF
InSpire: Vision-Language-Action Models with Intrinsic Spatial Reasoning AI summary
Ji Zhang, Shihan Wu, Xu Luo, Hao Wu, Junlin Xie, Lianli Gao, Heng Tao Shen, Jingkuan Song
 PDF
Collaborative Planning with Concurrent Synchronization for Operationally Constrained UAV-UGV Teams AI summary
Zihao Deng, Qianhuang Li, Peng Gao, Maggie Wigness, John G. Rogers III, Donghyun Kim, Hao Zhang
 PDF
TACOcc: Target-Adaptive Cross-Modal Fusion with Sequential Volume Rendering for 3D Semantic Occupancy Prediction AI summary
Luyao Lei, Shuo Xu, Yifan Bai, Zelin Yang, Yuanbo Guo, Xing Wei
 PDF
OcTac: An Octopus Sucker-Inspired Vision-Based Tactile Sensor with Self-Adaptive Adhesion for Complex Surface Interactions AI summary
Yi Xiong, Feiyang Yuan, Qiyi Zhang, Lei Bao, Li Wen
 PDF
Reformulating AI-Based Multi-Object Relative State Estimation for Aleatoric Uncertainty-Based Outlier Rejection of Partial Measurements AI summary
Thomas Jantos, Giulio Delama, Stephan Weiss, Jan Steinbrener
 PDF
Adversarial Game-Theoretic Algorithm for Dexterous Grasp Synthesis AI summary
Yu Chen, Botao He, Yuemin Mao, Arthur Jakobsson, Jeffrey Ke, Yiannis Aloimonos, Guanya Shi, Howie Choset, Jiayuan Mao, Jeffrey Ichnowski
 PDF
Efficient Active Search Via Amortized Path-Integral Policies AI summary
Tejus Gupta, Arsh Verma, Raymond Song, David Guttendorf, Conor Igoe, Luis E. Navarro-Serment, Jeff Schneider
 PDF
SureGrip: Perceptual Grasping of Natural Handholds for Free-Climbing Robots AI summary
Peter Panorel, Khoon Chuan Goh, Kenji Nagaoka
 PDF
A Wirelessly Powered Robotic Capsule Chain for Large Volume Gastrointestinal Liquid Sampling AI summary
Bella Boyd, Kaan Esendag, Liu Du, Zaneta Koszowska, Jialun Liu, Shuhei Miyashita, Dana Damian
 PDF
Distributed NMPC for Cooperative Aerial Manipulation of Cable-Suspended Loads AI summary
Nicola De Carli, Riccardo Belletti, Emanuele Buzzurro, Andrea Testa, Giuseppe Notarstefano, Marco Tognon
 PDF
SLNet: A Super-Lightweight Geometry-Adaptive Network for 3D Point Cloud Recognition AI summary
Saeid Mohammad, Amir Salarpour, Pedram MohajerAnsari, Mert D. Pesé
 PDF
EKF-Based Radar-Inertial Odometry with Online Temporal Calibration AI summary
Changseung Kim, Geunsik Bae, Woojae Shin, Sen Wang, Hyondong Oh
 PDF
LLIO: Lidar-Kinematic-Inertial Odometry with Ground Contact Constraints for Legged Robots AI summary
Chengjie Gu, Zhongqu Xie, Beichen Xiang, Shichao Zhou, Lingkun Chen, Binbin Ci, Yulin Wang
 PDF
Learning to Drive Anywhere with Model-Based Reannotation AI summary
Noriaki Hirose, Lydia Ignatova, Kyle Stachowicz, Catherine Glossop, Sergey Levine, Dhruv Shah
 PDF
Learning End-To-End Dexterous Arm-Hand VLA Policies with Shared Autonomy: DexGrasp AI Copilot for Efficient Teleoperation AI summary
Yu Cui, Yujian Zhang, Lina Tao, Yang Li, Xinyu Yi, Zhibin (Alex) Li
 PDF
Localized Graph-Based Neural Dynamics Models for Terrain Manipulation AI summary
Chaoqi Liu, Yunzhu Li, Kris Hauser
 PDF
Dynamic Movement Primitives with Control Barrier Functions for Constrained Trajectory Planning AI summary
Federico Vesentini, Daniele Meli, Nicola Sansonetto, Luca Di Persio, Riccardo Muradore
 PDF
Proprioceptive Image: An Image Representation of Proprioceptive Data from Quadruped Robots for Contact Estimation Learning AI summary
Gabriel Fischer Abati, João Carlos Virgolino Soares, Giulio Turrisi, Victor Barasuol, Claudio Semini
 PDF
Multi-Depth Uniform Coverage Path Planning for Unmanned Surface Vehicle Surveying AI summary
Izaro Goienetxea , Jaime Valls Miro
 PDF
A Hybrid Magnetic Actuation System for Hybrid Microrobotic Targeted Delivery AI summary
Yuanbiao Ma, Shengming Luo, Bin Wang, Haoyu Zhang, Ji Lang, Zhiqiang Tang, Li Zhang, Qianqian WANG
 PDF
Integrating Autonomy into Bioinspired Soft Robot � the Bionic Turtle Walker AI summary
Falk Tauber, Sebastian Ruppert, Thomas Speck
 PDF
Learning-Based Fusion for Robust Multi-Spectral Visual Servoing AI summary
Enrico Fiasche, Siddharth Singh Savner, Ezio Malis, Philippe Martinet
 PDF
Think Fast: Real-Time Kinodynamic Belief Space Planning for Projectile Interception AI summary
Gabriel Olin, Lu Chen, Nayesha Gandotra, Maxim Likhachev, Howie Choset
 PDF
D-CLING: Prior-Preserving Depth-Conditioned Fine-Tuning for Navigation Foundation Models AI summary
Shintaro Nakaoka, Takayuki Kanai, Kazuhito Tanaka
 PDF
HumanoidExo: Scalable Whole-Body Humanoid Manipulation Via Wearable Exoskeleton AI summary
Rui Zhong, Yizhe Sun, Junjie Wen, Jinming LI, Chuang Cheng, Wei Dai, Zhiwen Zeng, Yi Xu, Huimin Lu, Yichen Zhu
 PDF
DMTrack: Spatio-Temporal Multimodal Tracking Via Dual-Adapter AI summary
Weihong Li, Shaohua Dong, Haonan Lu, Yanhao Zhang, Heng Fan, Libo Zhang
 PDF
A Lightweight Hip Exoskeleton with High Torque-to-Mass Ratio: Design, Gait-Synchronized Control, and Physiological Validation AI summary
Tzy-Qian Pai, Shi Mou Lin, Chao-Chieh Lan
 PDF
MINT: A Vision-Based Soft Sensor for Mutual Integration of Normal Interaction Force and Texture Perception AI summary
Mohammad Rafiee Javazm, Siddhartha Kapuria, Ozdemir Can Kara, Sonika Kiehler, Rami Hamada, Joga Ivatury, Farshid Alambeigi
 PDF
High-Stiffness Capacitive Torque Sensor Based on a Hybrid Scott-Russell and Parallelogram Mechanism AI summary
Jae Yoon Sim, Seung Yeon Lee, Dong-Yeop Seok, Yong Bum Kim, Hyouk Ryeol Choi
 PDF
RoboEval: Where Robotic Manipulation Meets Structured and Scalable Evaluation AI summary
Yi Ru Wang, Carter Ung, Christopher Tan, Grant Tannert, Jiafei Duan, Josephine Li, Anh Le, Rishabh Oswal, Markus Grotz, Wilbert Pumacay, Yuquan Deng, Ranjay Krishna, Dieter Fox, Siddhartha Srinivasa
 PDF
SSMG-Nav: Enhancing Lifelong Object Navigation with Semantic Skeleton Memory Graph AI summary
Haochen Niu, Lantao Zhang, Xingwu Ji, RENDONG YING, Peilin Liu, Fei Wen
 PDF
TacUMI: A Multi-Modal Universal Manipulation Interface for Contact-Rich Tasks AI summary
Tailai Cheng, Kejia Chen, Lingyun Chen, Liding Zhang, Yue Zhang, Yao Ling, Mahdi Hamad, Zhenshan Bing, Fan Wu, Karan Sharma, Alois Knoll
 PDF
Magnet-Based Soft Robotic Skin Using a 3D-Printed Multi-Lattice Structure and CNN-Based Tactile Super-Resolution AI summary
Yunseong Bang, Joowon Park, Suan Sim, Youngjun Ryu, Sukho Park, Kyungseo Park
 PDF
Supervisory Measurement-Guided Noise Covariance Estimation AI summary
Haoying LI, Yifan Peng, Xinghan Li, Junfeng Wu
 PDF
Event-Driven MARL for Collaborative Swarm Confrontation in Asynchronous Environments AI summary
Qizhen Wu, Lei Chen, Kexin Liu, Jinhu Lv
 PDF
Development of Adaptive-Limb Transformable Robot for Portable and Replaceable End-Effectors with Compact Lock-Spin Mechanisms AI summary
Jin Hirai, Takuma Hiraoka, Masanori Konishi, Hiromi Tada, Kunio Kojima, Kei Okada
 PDF
Structural Interlocking-Based Weaving Gripper for Enhanced Grasping Performance AI summary
Yuvin Jun, Daehyun Kim, Seokhwan Jeong, Joonbum Bae, Kahye Song
 PDF
Hybrid Dynamics Modeling and Trajectory Planning for Cable-Trailer with Quadruped Robot System AI summary
Wentao Zhang, Shaohang Xu, Gewei Zuo, Bolin Li, Jingbo Wang, Lijun Zhu
 PDF
HE-VPR: Height Estimation Enabled Aerial Visual Place Recognition Against Scale Variance AI summary
Mengfan He, Xingyu Shao, Chunyu Li, Chao Chen, Liangzheng Sun, Ziyang Meng, YuanQing Wu
 PDF
Dynamics-Aware Critical Neighbor Selection for Distributed Connectivity Maintenance in Multi-Agent Systems AI summary
Wei Tan, Xin Chen
 PDF
A 2-DoF Ankle Rehabilitation Platform Based on an Inclined Dual-Cylinder Mechanism AI summary
Donggeon Kim, Kira Kiefer, Luisa Veits, Laura Ulbl, Necolle Morgado-Vega, Tae-Hyoung Kim, Yeongmi Kim
 PDF
Integrated Hydrogel Patterning and Dynamic Microparticle Manipulation Using Optoelectronic Tweezers AI summary
Shunxiao Huang, jingwen ye, Wenyan Niu, Ao Wang, Zijin Zeng, Chan Li, Zaiyang Chen, Hongyan Sun, Yingjian Guo, Lin Feng
 PDF
Jamming Metal Sheets Using Electropermanent Magnets for Stiffness Modulation AI summary
Leah T. Gaeta, Vi Vo, Sang-Yoep Lee, Srushti Raste, Megha Venkatesam, Jacob Rogatinsky, Deniz Albayrak, Tommaso Ranzani
 PDF