Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 38 of 58
Title & Authors Actions
Variable Stiffness Soft Robotic Arm with Positive-Pressure Layer Jamming for Enhanced Load Capacity AI summary
Zekai Wu,,Xin Fu,,Daohui Zhang and Xingang Zhao
 View PDF
Collaborative Task Allocation for Heterogeneous Multi-Robot Systems through Iterative Clustering AI summary
David R. Martin, Brooks A. Butler, Scott Nivison, Magnus Egerstedt, Mohammad Abdullah Al Faruque, Pramod Khargonekar
 View PDF
HybNetic: A Mobile Hybrid Magnetic Actuation System AI summary
Lukas Masjosthusmann, Nicholas Posselli, Sarthak Misra
 View PDF
MARG: MAstering Risky Gap Terrains for Legged Robots with Elevation Mapping AI summary
YINZHAO DONG, Ji Ma, Liu Zhao, Wanyue Li, Peng Lu
 View PDF
A Robust LiDAR-Inertial Multi Constraint-Based Localization for Agricultural Environments AI summary
Narayan Longani, Gon-Woo Kim
 View PDF
Coupled Particle Filters for Robust Affordance Estimation AI summary
Patrick Lowin, Vito Mengers, Oliver Brock
 View PDF
Robustness-Guaranteed Observer-Based Control Strategy with Modularity for Cleantech EMLA-Driven Heavy-Duty Robotic Manipulator AI summary
Mehdi Heydari Shahna, Mohammad Bahari, Jouni Mattila
 View PDF
InvariantCloud: A Globally Invariant, Uniquely Indexed Point Cloud Framework for Robust 6-DoF Tactile Pose Tracking AI summary
Pengfei Ye, Yuxiang Ma, Yi Zhou, Wei Chen, Wenzhen Dong, Molong Duan
 View PDF
State Estimation and Environment Recognition for Articulated Structures Via Proximity Sensors Distributed Over the Whole Body AI summary
Kengo Iwao, Hikaru Arita, Kenji Tahara
 View PDF
Self-Organised Sequential Multi-Agent Reinforcement Learning for Closely Cooperation Tasks AI summary
Hao Fu, YOU MINGYU, Zhou Hongjun, Bin He
 View PDF
WATCHDOG: Autonomous Elderly Assistance Via Attention-Based Fall Detection and Trajectory Prediction AI summary
Antonello Longo, Annaclaudia Bono, Giovanna Guaragnella, Pietro Boccadoro, Antonio Petitti, Arianna Rana, Tiziana D'Orazio
 View PDF
ROGIBOT: Development of a Dual-Arm Autonomous Container Unloading Robot System for Various Logistics Packages AI summary
Eugene Auh, Ilho Oh, JangHoon Lee, Nabih Andres Pico Rosas, Yeong-Jae Park, Jae Hyuck Jang, Haneol Lee, Altair Coutinho, jongsam park, Byungtaek Jung, Seongyong Koo, Kyung-Hoon Kim, Hugo Rodrigue, Hyungpil Moon
 View PDF
A Miniaturized Tendon-Driven Continuum Robot for Direct Laser Deposition AI summary
Luca Raimondi, Matteo Russo, Xin Dong, andy norton, Dragos Axinte
 View PDF
Safe Autonomous Environmental Contact for Soft Robots Using Control Barrier Functions AI summary
Akua Dickson, Juan Pacheco Garcia, Meredith Anderson, Ran Jing, Sarah Alizadeh-Shabdiz, Audrey Wang, Charles DeLorey, Zachary Patterson, Andrew Sabelhaus
 View PDF
Design, Mapping, and Contact Anticipation with 3D-Printed Whole-Body Tactile and Proximity Sensors AI summary
Carson Kohlbrenner, Anna Soukhovei, Caleb Escobedo, Nataliya Nechyporenko, Alessandro Roncone
 View PDF
World Model Failure Classification and Anomaly Detection for Autonomous Inspection AI summary
Michelle Ho, Muhammad Fadhil Ginting, Isaac Ronald Ward, Andrzej Reinke, Mykel J. Kochenderfer, Ali-akbar Agha-mohammadi, Shayegan Omidshafiei
 View PDF
Detection of Texting While Walking in Occluded Environment Using Variational Autoencoder for Safe Mobile Robot Navigation AI summary
Hayato Terao, Jiaxu Wu, Qi An, Atsushi Yamashita
 View PDF
An Infrastructure-Less, Control-Independent Solution to Relative Localisation of a Team of Mobile Robots Using Ranging Measurements AI summary
Paolo Golinelli, Tommaso Faraci, Daniele Fontanelli
 View PDF
PEEK: Guiding and Minimal Image Representations for Zero-Shot Generalization of Robot Manipulation Policies AI summary
Jesse Zhang, Marius Memmel, Kevin Kim, Dieter Fox, Jesse Thomason, Fabio Ramos, Erdem Bıyık, Abhishek Gupta, Anqi Li
 View PDF
Bridging Large-Model Reasoning and Real-Time Control Via Agentic Fast-Slow Planning AI summary
Jiayi Chen, Shuai Wang,∗, Guangxu Zhu,∗, and Chengzhong Xu
 View PDF
A Gripper for Flap Separation and Opening of Sealed Bags AI summary
Sergi Foix, Jaume Oriol Lladó, Carme Torras, Julia Borras Sol
 View PDF
SurfAAV: Design and Implementation of a Novel Multimodal Surfing Aquatic-Aerial Vehicle AI summary
Kun Liu, Junhao Xiao, Hao Lin, Yue Cao, Hui Peng, Kaihong Huang, Huimin Lu
 View PDF
DenVisCoM: Dense Vision Correspondence Mamba for Efficient and Real-Time Optical Flow and Stereo Estimation AI summary
Tushar Anand, Maheswar Bora, Antitza Dantcheva, ABHIJIT DAS
 View PDF
A Safety-Aware Shared Autonomy Framework with BarrierIK Using Control Barrier Functions AI summary
Berk Guler, Kay Pompetzki, Yuanzheng Sun, Simon Manschitz, Jan Peters
 View PDF
Step Placement Swing Control for Powered Knee-Ankle Prostheses AI summary
Michael Feldkamp, Rachel Gehlhar Humann
 View PDF
MOSAIC: Multi-Objective Optimization from Zero-Shot Language Reasoning in Preference-Based RL AI summary
Daniel Marta, Simon Holk, Iolanda Leite
 View PDF
Déjà Vu: Unlocking Transparent Action Reasoning for Object-Goal Navigation Via Large Language Models AI summary
Heming Du, Sen Wang, Li Xue, Yu Xin
 View PDF
Give Me Scissors: Collision-Free Dual-Arm Surgical Assistive Robot for Instrument Delivery AI summary
Xuejin Luo, Shiquan Sun, Runshi Zhang, Ruizhi Zhang, Junchen Wang
 View PDF
Learning Dexterous Manipulation Skills from Imperfect Simulations AI summary
Elvis Hsieh, Wen-Han Hsieh, Yen-Jen Wang, Toru Lin, Jitendra Malik, Koushil Sreenath, Haozhi Qi
 View PDF
TerraSkipper: A Centimeter-Scale Robot for Multi-Terrain Skipping and Crawling AI summary
Shashwat Singh, Ziyun Zhang, Spencer Matonis, Zeynep Temel
 View PDF
Generating and Optimizing Topologically Distinct Guesses for Mobile Manipulator Path Planning with Path Constraints AI summary
Rufus Cheuk Yin Wong, Mayank Sewlia, Adrian Wiltz, Dimos V. Dimarogonas
 View PDF
RODEO: RObotic DEcentralized Organization AI summary
Milan Groshev, Eduardo Castello Ferrer
 View PDF
Automated Nerve Suturing Using Dual Arm Nanorobotic System Considering Needle Insertion Depth AI summary
Chao Qin, Yujie Jiang, Xiang Fu, Chengxi Zhong, Song LIU
 View PDF
VLION: Vision-Language Guided Interactive Object Navigation with Mobile Manipulation AI summary
Renming Liu, Hao Ren, Lanxiang Zheng, Yiming Zeng, Ying Wu, Hui Cheng∗
 View PDF
Lifelong Localization in Dynamic Indoor Environments Combining Odometry with Sparse Distance Sampling AI summary
Michael M. Bilevich, Tomer Buber, Dan Halperin
 View PDF
Brain-Inspired Visual Topometric Localization Via Roadnetwork-Constraint Hidden Markov Model AI summary
Jinyu Li, Taiping Zeng, Bailu Si
 View PDF
Manual2Skill++: Connector-Aware General Robotic Assembly from Instruction Manuals Via Vision�Language Models AI summary
Chenrui Tie, Shengxiang Sun, Yudi Lin, Yanbo Wang, Zhongrui Li, Zhouhan Zhong, Jinxuan Zhu, Yiman Pang, Haonan Chen, Junting Chen, Ruihai Wu, Lin Shao
 View PDF
AWENet: A Self-Supervised Network for Efficient Interest Point Detection and Description AI summary
Pengwei Jia, Kang Li, Siren Batu
 View PDF
Deep Reinforcement Learning for Hip Exoskeleton Control Via Predictive Simulation of Reflex-Based Human Gait AI summary
Hossein Barati, Sangdo Kim, Thanh Xuan Nguyen, Jongwon Lee, Young Jin Park
 View PDF
IVRA: Improving Visual-Token Relations for Robot Action Policy with Training-Free Hint-Based Guidance AI summary
Jongwoo Park, Kanchana Ranasinghe, Jinhyeok Jang, Cristina Mata, Yoo Sung Jang, Michael S. Ryoo
 View PDF
A Self-Supervised Learning Approach with Differentiable Optimization for UAV Trajectory Planning AI summary
Yufei Jiang, Yuanzhu Zhan, Harsh vardhan Gupta, Chinmay Mahendra Borde, Junyi Geng
 View PDF
ROPA: Synthetic Robot Pose Generation for RGB-D Bimanual Data Augmentation AI summary
Jason Chen, I-Chun Arthur Liu, Gaurav Sukhatme, Daniel Seita
 View PDF
Motion Pattern Analysis of a Rolling Locomotion Robot Featuring Dual Rimless Wheels and Elastic Connectors AI summary
Taiki Sedoguchi, Fumihiko Asano
 View PDF
PA-BiCoop: A Primary-Auxiliary Cooperative Framework for General Bimanual Manipulation AI summary
Qicheng Bai, Ziru Wang, Teli Ma, Guang Dai, Jingdong Wang, Mengmeng Wang
 View PDF
A Practical Multi-Body Model Enabling a Flexible-Wheeled Robot to Learn Blind Stair Climbing AI summary
Chan-Young Yoon, Baek-Kyu Cho
 View PDF
Wind-Aware Optimal Trajectory Planning for Efficient Gliding of Fixed-Wing Aerial Systems AI summary
Luca Morando, Nishanth Bobbili, Luca Masci, Giuseppe Loianno
 View PDF
Open-World Object Manipulation with Vision-Language-Action Models Via Synthetic Multi-Modal Data AI summary
Yefei Chen, Junjie Wen, Jinming LI, Zhongyi Zhou, Yaxin Peng, Chaomin Shen, Yi Xu, Yichen Zhu
 View PDF
Spike-IMU: An Accurate and Low-Power Spiking Neural Network for Pedestrian Velocity Estimation AI summary
Junye Zou, Xiaolei Li, Ziyang Meng, Guoqi Li
 View PDF
Miniature Multihole Airflow Sensor for Lightweight Aircraft Over Wide Speed and Angular Range AI summary
Lukas Stuber, Simon Luis Jeger, Raphael Zufferey, Dario Floreano
 View PDF
SICNav-Diffusion: Safe and Interactive Crowd Navigation with Diffusion Trajectory Predictions AI summary
Sepehr Samavi, Anthony Jia-Hao Lem, Fumiaki Sato, Sirui Chen, Qiao Gu, Keijiro Yano, Angela P. Schoellig, Florian Shkurti
 View PDF