Research Analyzer
← ICRA 2026

All Papers

2898 papers in this venue.

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 58 of 58
Title & Authors Actions
Underactuated Legged-Rolling Locomotion of a Minimal Two-Rod Tensegrity Robot with Self-Recovery Capability AI summary
Yanqiu Zheng, Yuxuan Xiang, YUETONG HE, Fumihiko Asano, Isao T. Tokuda
 PDF
First, Learn What You Don't Know: Active Information Gathering for Driving at the Limits of Handling AI summary
Alexander Davydov, Franck Djeumou, Marcus Greiff, Makoto Suminaka, Michael Thompson, John Subosits, Thomas Lew
 PDF
Robustly Constrained Dynamic Games Via System Level Synthesis AI summary
Shuyu Zhan, Chih-Yuan Chiu, Antoine Leeman, Glen Chou
 PDF
Open-Vocabulary Online Semantic Mapping for SLAM AI summary
Tomas Berriel Martins, Martin R. Oswald, Javier Civera
 PDF
Few-Shot Physics-Informed Neural Network for Shape Reconstruction of Concentric-Tube Robots AI summary
Navid Feizi, Filipe Pedrosa, Rajnikant V. Patel, Jagadeesan Jayender
 PDF
DRIFT: Dual-Representation Inter-Fusion Transformer for Automated Driving Perception with 4D Radar Point Clouds AI summary
Siqi Pei, Andras Palffy, Dariu Gavrila
 PDF
CLUE: Crossmodal disambiguation via Language-vision Understanding with attEntion AI summary
Mouad Abrini, Mohamed Chetouani
 PDF
Vibration-Resilient LiDAR-Inertial Odometry with External Disturbance Compensation for Quadruped Robots AI summary
Quoc Hung Hoang, Gon-Woo Kim
 PDF
Autonomous Distributionally Robust Virtual Energy Storage Services Based on Parked Electric Vehicles AI summary
Nicola Mignoni, Georgios Pantazis, Raffaele Carli, Sergio Grammatico, Mariagrazia Dotoli
 PDF
Time-Optimal Anti-Sloshing Trajectory Planning for Multiple Liquid-Filled Containers Subject to SCARA Motion AI summary
Andrea Ferrari, Roberto Di Leva, Simone Soprani, Luigi Biagiotti, Gianluca Palli, Marco Carricato
 PDF
ClustViT: Clustering-Based Token Merging for Semantic Segmentation AI summary
Fabio Montello, Ronja Güldenring, Lazaros Nalpantidis
 PDF
Closed-Loop Trajectory Optimization of Deformable Linear Objects for Dynamic Motions AI summary
Marc Kilian Klankers, Jochen J. Steil
 PDF
AROSpect: A ROS 2 Timing Introspection Framework AI summary
Lukas Dust, Christopher Steven Timperley, Rong Gu
 PDF
Three-Dimensional Needle Tip Estimation from Multi-View X-Ray Images for Interventional Pain Procedures AI summary
Seunghui Han, Ayoung Hong
 PDF
MoiréTac: A Dual-Mode Visuotactile Sensor for Multidimensional Perception Using Moiré Pattern Amplification AI summary
KIT-WA SOU, Junhao Gong, Shoujie Li, Chuqiao Lyu, Ziwu Song, Shilong Mu, Wenbo Ding
 PDF
Compositional Context Fine-Tuning Vision-Language Model for Complex Assembly Action Understanding from Videos AI summary
Hao Zheng, Jinyi Huang, Tiantian Zheng, Xun Xu, Tuka Alhanai
 PDF
LLM Trainer: Automated Robotic Data Generating Via Demonstration Augmentation Using LLMs AI summary
Abraham George, Amir Barati Farimani
 PDF
Hydrosoft: Non-Holonomic Hydroelastic Models for Compliant Tactile Manipulation AI summary
Miquel Oller, An Dang, Nima Fazeli
 PDF
UDON: Uncertainty-Weighted Distributed Optimization for Multi-Robot Neural Implicit Mapping under Extreme Communication Constraints AI summary
Hongrui Zhao, Xunlan Zhou, Boris Ivanovic, Negar Mehr
 PDF
Knowledge-Based Locomotion Policy for Quadruped Robots under Incomplete Terrain Observation AI summary
Taehyeong Kim, Sangmoon Lee
 PDF
Planar-Sector LOS Guidance for Interception of Agile Targets with Lifting-Wing Quadcopters AI summary
Linkai Liu, Kun Yang, Han Zou, Chen Min, Shuli Lv, Shuai Wang, Quan Quan
 PDF
Serving Innovation: Seamless Service by Advancing Food Runners with Mobile Manipulation AI summary
Sankalp Yamsani, Kevin Gim, Tyler Smithline, Richard Qiu, Roman Mineyev, Kenta Hirashima, Sungmin Kang, Kyungseo Park, Yoon-Koo Kang, Seulbi An, SungHwan Ahn, Joohyung Kim
 PDF
EasyMimic: A Low-Cost Framework for Robot Imitation Learning from Human Videos AI summary
Tao Zhang, Song Xia, Ye Wang, Qin Jin
 PDF
Field Calibration of Hyperspectral Cameras for Terrain Inference AI summary
Nathaniel Hanson, Benjamin Pyatski, Sam Hibbard, Gary Lvov, Oscar De La Garza, Charles A DiMarzio, Kristen Dorsey, Taskin Padir
 PDF
3D Dynamics-Aware Manipulation: Endowing Manipulation Policies with 3D Foresight AI summary
Yuxin He, Ruihao Zhang, Xianzu Wu, Zhiyuan Zhang, Cheng Ding, Qiang Nie
 PDF
Learning What Matters: Task Tailored Dynamics Models through Differentiable MPC AI summary
Jan Węgrzynowski, Piotr Kicki, Grzegorz Czechmanowski, Krzysztof, Tadeusz Walas
 PDF
LiLa-Net: Lightweight Latent LiDAR Autoencoder for 3D Point Cloud Reconstruction AI summary
Mario Resino Solis, Borja Pérez López, Jaime Godoy Calvo, Abdulla Al-Kaff, Fernando Garcia
 PDF
Uncertainty-Aware Stereo Grasp Point Selection for Deformable Linear Objects AI summary
Cristina Saccani, Alessio Caporali, Gianluca Palli
 PDF
DRUM: Diffusion-Based Raydrop-Aware Unpaired Mapping for Sim2Real LiDAR Segmentation AI summary
Tomoya Miyawaki, Kazuto Nakashima, Yumi Iwashita, Ryo Kurazume
 PDF
AddTraX: Traction Enhancement of Tractors Using Additive Motor-Integrated Driving Wheel Units AI summary
Takuten Izumi, Moe Nanakubo, Koki Honda, Takashi Sasabe, Tomoyoshi Sakano, Kenichi Iwami, Rui Fukui
 PDF
Backdrivable Redundantly Actuated Parallel Robot for Sensorless Physical Human-Robot Interaction AI summary
Arda Yigit, Simon Foucault, Clement Gosselin
 PDF
Robust Robotic Task Planning via Immutable Subgoals AI summary
Chulyong Lim, Jaewon Baek, Junhee Han, WooYeol Bae, Woochul Nam
 PDF
A New Decoupling Method for Cable-Driven Joints Based on an Anti-Parallelogram Mechanism AI summary
Seungcheol Oh, Seungbum Lim, Jungwook Suh
 PDF
Development of a Variable Stiffness High Resolution Tension Sensor for Tendon-Driven Robot Hands AI summary
Ginwoo Pyo, Chunghyeon Lee, Seokhwan Jeong
 PDF