Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 10 of 58
Title & Authors Actions
Toward Open-Source and Modular Space Systems with ATMOS AI summary
Pedro Roque, Sujet Phodapol, Elias Krantz, Jaeyoung Lim, Joris Petrus Martinus Verhagen, Frank J. Jiang, David Dörner, Huina Mao, Gunnar Tibert, Roland Siegwart, Ivan Stenius, Jana Tumova, Christer Fuglesang, Dimos V. Dimarogonas
 View PDF
Optical LiDAR Communication: Repurposing Existing LiDAR Sensors for Infrastructure-To-Vehicle Communication AI summary
Kazuma Ikeda, Yuki Hayakawa, Ryo Suzuki, Shota Nagai, Ozora Sako, Rokuto Nagata, Ryo Yoshida, Kentaro Yoshioka
 View PDF
Direct In-Petri Dish Liquid Droplet Manipulation Based on Microscope and Ultrasonic Phased Transducer Array AI summary
Huamin Li, Song LIU
 View PDF
Sensor Model Identification via Simultaneous Model Selection and State Variable Determination AI summary
Christian Brommer, Alessandro Fornasier, Jan Steinbrener, Stephan Weiss
 View PDF
From Design to Realization: A Validated Pipeline for Magnetic Soft Robot Fabrication and Actuation AI summary
Rawaan Abu-Shaera, Veerash Palanichamy, Kaitlyn Clancy, Onaizah Onaizah
 View PDF
The QuadSoft: Design, Construction, and Experimental Validation of a Soft and Actuated Quadrotor AI summary
Rodolfo Isaac Verdín MonzÃ3n, Hugo Alberto Moreno Jimenez, Mark Spong, Gerardo Flores
 View PDF
Aleatoric Uncertainty from AI-Based 6D Object Pose Predictors for Object-Relative State Estimation AI summary
Thomas Jantos, Stephan Weiss, Jan Steinbrener
 View PDF
Designing Latent Safety Filters Using Pre-Trained Vision Models AI summary
Ihab tabbara, yuxuan yang, Ahmad Hamzeh, Maxwell Astafyev, Hussein Sibai
 View PDF
FlightDiffusion: Revolutionizing Autonomous Drone Training with Diffusion Model Generating FPV Video AI summary
Valerii Serpiva, Artem Lykov, Faryal Batool, Vladislav Kozlovskiy, Miguel Altamirano Cabrera, Dzmitry Tsetserukou
 View PDF
These Magic Moments: Differentiable Uncertainty Quantification of Radiance Field Models AI summary
Parker Ewen, Hao Chen, Seth Isaacson, Joseph Wilson, Katherine Skinner, Ram Vasudevan
 View PDF
Robot Control Stack: A Lean Ecosystem for Robot Learning at Scale AI summary
Tobias Thomas Jülg, Pierre Krack, Seongjin Bien, Yannik Blei, Khaled Gamal, Ken Nakahara, Johannes Hechtl, Roberto Calandra, Wolfram Burgard, Florian Walter
 View PDF
Sight Over Site: Perception-Aware Reinforcement Learning for Efficient Robotic Inspection AI summary
Richard Kuhlmann, Jakob Wolfram, Boyang Sun, Jiaxu Xing, Davide Scaramuzza, Marc Pollefeys, Cesar Cadena
 View PDF
Steerable High-Jumping Tensegrity Robot for Space Exploration AI summary
Jonathan Jacob Kolt Green, Dario Bozinovski, Fabian Tischhauser, Marco Hutter, Robert Lawrence Baines
 View PDF
A Near-Time-Optimal Trajectory Planning under Torque and Jerk Constraints for Industrial Robots on Fixed Paths AI summary
Shize Zhao, Tianjiao Zheng, Chengzhi Wang, Yanhe Zhu, jie zhao
 View PDF
SPILL: Size, Pose, and Internal Liquid Level Estimation of Transparent Glassware for Robotic Bartending AI summary
Louis Adriaens, Thomas Lips, Mathieu De Coster, Andreas Verleysen, Francis wyffels
 View PDF
Design and Evaluation of a Variable Stiffness Module for an Open-End Tendon Antagonistic Actuator AI summary
L. Laohaphand and E. Pengwang
 View PDF
Self-Supervised Consistency Enhanced Disentangled Learning for Neural Decoding Generalization in Brain-Machine Interfaces AI summary
Jiyu Wei, Di Hong, Zhanjie Zhang, Dazhong Rong, Qinming He, Yueming Wang
 View PDF
A Phase-Change-Material-Based Variable Stiffness Sheath Inspired by a Multi-Layer Wave Spring Structure for Flexible Upper Gastrointestinal Endoscopic Robots AI summary
Dezhi Song, xiangyu luo, xiangyang Yu, Bo Zhang, Zhengbao Yang, Chengzhi Hu, Chaoyang Shi
 View PDF
GRAPE: Generalizing Robot Policy Via Preference Alignment AI summary
Zijian Zhang, Kaiyuan Zheng, Zhaorun Chen, Joel Jang, Yi Li, Siwei Han, Chaoqi Wang, Mingyu Ding, Dieter Fox, Huaxiu Yao
 View PDF
LARVO-RRT*: Learning Guided Adaptive Reconfiguration with Vector Field Oriented RRT* AI summary
Wijenayaka Kankanamge Rishan Sachinthana, Bhagya Prasangi Samarakoon Samarakoon Mudiyanselage, Viraj Jagathpriya Muthugala Muthugala Arachchige, Mohan Rajesh Elara
 View PDF
Low-Latency Event-Based Velocimetry for Quadrotor Control in a Narrow Pipe AI summary
Leonard Bauersfeld, Davide Scaramuzza
 View PDF
Ventura: Adapting Image Diffusion Models for Unified Task Conditioned Navigation AI summary
Arthur Zhang, Xiangyun Meng, Luca Callari, Dong Ki Kim, Shayegan Omidshafiei, Joydeep Biswas, Ali-akbar Agha-mohammadi, Amirreza Shaban
 View PDF
From Movement Primitives to Distance Fields to Dynamical Systems AI summary
Yiming Li, Sylvain Calinon
 View PDF
Point Cloud Segmentation for Autonomous Clip Positioning in Laparoscopic Cholecystectomy on a Phantom AI summary
Balazs Gyenes, Nikolai Franke, Paul Maria Scheikl, Pit Henrich, Rayan Younis, Gerhard Neumann, Martin Wagner, Franziska Mathis-Ullrich
 View PDF
VSL-Skin: Individually Addressable Phase-Change Voxel Skin for Variable-Stiffness and Virtual Joints Bridging Soft and Rigid Robots AI summary
Zihan Oliver Zeng, JIAJUN AN, Preston Luk, Upinder Kaur
 View PDF
Screw Geometry Meets Bandits: Incremental Acquisition of Demonstrations to Generate Manipulation Plans AI summary
Dibyendu Das, Aditya Patankar, Nilanjan Chakraborty, C. R. Ramakrishnan, I. V. Ramakrishnan
 View PDF
Modeling and Reinforcement Learning-Based Control of Simultaneous Positive and Negative Pressure Generation in Pneumatic Systems AI summary
Sang Hyeon Park, Myeongyun Doh, Chanyong Park, Tuan Luong, Hyouk Ryeol Choi, Ja Choon Koo, Hugo Rodrigue, Hyungpil Moon
 View PDF
LH-DETR: A Lightweight Hybrid Architecture for End-To-End Object Detection in UAV Images AI summary
Feifei Xu, Lupeng Sun, Dongyang Li, Guoxiang Wu, Chenchuan Lv
 View PDF
NeuroVLA: Surgical Scenario-Aware Learning of Debulking Skills in Endoscopic Robotic Neurosurgery Via Vision-Language-Action Model AI summary
Tat Ming Danny Chan, Hongbin Liu, Renzhi Wang, and Hongliang Ren
 View PDF
Stroke-Based Variable-Damping with Force Attenuation for Capturing Large-Momentum Objects under Non-Zero Contact Velocity AI summary
Yang Chen, Junda Cao, Kai Gong, Yang Deng, Zhang Chen, Xudong Zheng, Zhili Hou, Bin Liang
 View PDF
CrazyMARL: Decentralized Direct Motor Control Policies for Cooperative Aerial Transport of Cable-Suspended Payloads AI summary
Viktor Lorentz, Khaled Wahba, Sayantan Auddy, Marc Toussaint, Wolfgang Hoenig
 View PDF
SIGMA: An Agent-Based Modeling UAV Swarm Simulator for Swarm Intelligence Algorithms AI summary
Sheng Zhang, Juan Li, Chang Liu, Lei Fu, Zehao Bai, Jie Li
 View PDF
GarmentPile++: Affordance-Driven Cluttered Garments Retrieval with Vision-Language Reasoning AI summary
Mingleyang Li, Yuran Wang, Yue Chen, Tianxing Chen, Jiaqi Liang, Zishun Shen, Haoran Lu, Ruihai Wu, Hao Dong
 View PDF
Soft Vortex Gripper for Dexterous Manipulation Using Hand-Like Robots AI summary
Luis Sentis, Senior and Ann Majewicz Fey, Senior
 View PDF
Latent Activation Editing: Inference-Time Refinement of Learned Policies for Safer Multirobot Navigation AI summary
Satyajeet Das, Darren Chiu, Zhehui Huang, Lars Lindemann, Gaurav Sukhatme
 View PDF
Adaptive Capacity Allocation for Vision Language Action Fine-Tuning AI summary
Donghoon Kim, Minji Bae, Unghui Nam, Gyeonghun Kim, Suyun Lee, Kyuhong Shim, Byonghyo Shim
 View PDF
CAPE: Context-Aware Diffusion Policy Via Proximal Mode Expansion for Collision Avoidance AI summary
Rui Heng Yang, Xuan Zhao, Léo Maxime Brunswic, Montgomery Tucker Alban, Matéo Clémente, Tongtong Cao, Jun Jin, Amir Rasouli
 View PDF
FlightBench: Benchmarking Learning-Based Methods for Ego-Vision-Based Quadrotors Navigation AI summary
Shu'ang Yu, Chao Yu, Feng Gao, Yi Wu, Yu Wang
 View PDF
Dexterity from Smart Lenses: Multi-Fingered Robot Manipulation with In-The-Wild Human Demonstrations AI summary
Irmak Guzey, Haozhi Qi, Julen Urain, Changhao Wang, Jessica Yin, Chaithanya Krishna Bodduluri, Mike Maroje Lambeta, Lerrel Pinto, Akshara Rai, Jitendra Malik, Tingfan Wu, Akash Sharma, Homanga Bharadhwaj
 View PDF
RAAP: Retrieval-Augmented Affordance Prediction with Cross-Image Action Alignment AI summary
Qiyuan Zhuang, He-Yang Xu, Yijun Wang, Xin-Yang Zhao, Yang-Yang Li, Xiu-Shen Wei
 View PDF
Event-LAB: Towards Standardized Evaluation of Neuromorphic Localization Methods AI summary
Adam D. Hines, Alejandro Fontan, Michael J Milford, Tobias Fischer
 View PDF
Evaluating Multimodal Communication Methods for Autonomous Buses in Pedestrian-Dense University Environments AI summary
Abdalla Ahmed Roshdi Mohamed, Ashita Ashok, Qazi Hamza Jan, Franziska Babel, Karsten Berns
 View PDF
MotIF: Motion Instruction Fine-Tuning AI summary
Minyoung Hwang, Donald Hejna, Dorsa Sadigh, Yonatan Bisk
 View PDF
Experimental Comparison of Kinematic Task-Priority Control Methods for an Articulated Intervention-AUV AI summary
Bjørn Kåre Sæbø, Markus H. Iversflaten, Kristin Y. Pettersen, Jan Tommy Gravdahl
 View PDF
The Price Is Not Right: Neuro-Symbolic Methods Outperform VLAs on Structured Long-Horizon Manipulation Tasks with Significantly Lower Energy Consumption AI summary
Timothy R. Duggan, Pierrick Lorang, Hong Lu, Matthias Scheutz
 View PDF
A Multi-Level Similarity Approach for Single-View Object Grasping: Matching, Planning, and Fine-Tuning AI summary
Hao Chen, Takuya Kiyokawa, Zhengtao Hu, Weiwei Wan, Kensuke Harada
 View PDF
Rapid Adaptation of Particle Dynamics for Generalized Deformable Object Mobile Manipulation AI summary
Bohan Wu, Roberto Martín-Martín, Li Fei-Fei
 View PDF
Crowd-FM: Learned Optimal Selection of Conditional Flow Matching-Generated Trajectories for Crowd Navigation AI summary
Antareep Singha, Laksh Nanwani, Mathai Mathew Pulicken, Samkit Jain, Phani Teja Singamaneni, Arun Kumar Singh, Madhava Krishna
 View PDF
Sonar-MASt3R: Real-Time Opti-Acoustic Fusion in Turbid, Unstructured Environments AI summary
Amy Phung, Richard Camilli
 View PDF
Distributed Pose Graph Optimization Via Contractive Belief Sharing AI summary
Xiangyu Liu, Margarita Chli
 View PDF