Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 28 of 58
Title & Authors Actions
Have We Mastered Scale in Deep Monocular Visual SLAM? the ScaleMaster Dataset and Benchmark AI summary
Hyoseok Ju, Bokeon Suh, Giseop Kim
 View PDF
MemClaw-RAG: Memory-Driven Navigation and Adaptive Locomotion for Wheeled-Legged Robots in Dynamic Environments AI summary
Mingyi Li, Shubo Zhang, Chunle Gao, Kaixin Yang, Ying Li
 View PDF
Hierarchical DLO Routing with Reinforcement Learning and In-Context Vision-Language Models AI summary
Mingen Li, Houjian Yu, Yixuan Huang, Youngjin Hong, Hantao Ye, Changhyun Choi
 View PDF
Gaussian Splatting and Point Cloud-Based Workspace Prediction for Collision-Free Trajectory Planning in Collaborative Robots AI summary
Jungho Seo, DongWook Kim
 View PDF
ReThinkNav: Zero-Shot Vision-And-Language Navigation with Open-Source LLMs Via Contextual Reasoning and Loop Recovery AI summary
Aolin Li, Yixian Yan, Hongkun Luo, Jiao Zhan, Chi Guo
 View PDF
Primal-Dual iLQR for GPU-Accelerated Learning and Control in Legged Robots AI summary
Lorenzo Amatucci, Joao Moreira de Sousa Pinto, Giulio Turrisi, Dominique Orban, Victor Barasuol, Claudio Semini
 View PDF
Suppressing Self-Excitation in Adaptive Sliding Mode Control: Observer-Based Design and Experimental Validation of Flapping-Wing Micro Aerial Vehicle AI summary
Heetae Park, Seungkeun Kim, Jinyoung Suk
 View PDF
A Model-Based Framework for Assessing Operator Performance in Navigational Bronchoscopy AI summary
Zhaoxing Deng, David Hanley, Francis Xiatian Zhang, Kev Dhaliwal, Mohsen Khadem
 View PDF
Steering Performance Optimization for Wheeled Mobile Robots in Granular Media Via DRFM: Enhancing Locomotion Precision and Energy Efficiency AI summary
Chuang Cao, Lei Huang, Feiyu Zhang, YH Yin
 View PDF
HoMeR: Learning In-The-Wild Mobile Manipulation Via Hybrid Imitation and Whole-Body Control AI summary
Priya Sundaresan, Rhea Malhotra, Phillip Miao, Jingyun Yang, Jimmy Wu, Hengyuan Hu, Rika Antonova, Francis Engelmann, Dorsa Sadigh, Jeannette Bohg
 View PDF
Human-In-The-Loop Gaussian Splatting for Robotic Teleoperation AI summary
Yongseok Lee, Hyunsu Kim, Harim Ji, Jinuk Heo, Youngseon Lee, Jiseock Kang, Jeongseob Lee, Dongjun Lee
 View PDF
Systematic Design of the Time-Independent and Computable Controller Based on Zero-Division-Avoidable Smoother for a Desired Orbit in Phase Space AI summary
Ken Masuya
 View PDF
KiRAS: Keyframe Guided Self-Imitation for Robust and Adaptive Skill Learning in Quadruped Robots AI summary
Xiaoyi Wei, Peng Zhai, Jiaxin Tu, Yueqi ZHang, Yuqi LI, Zonghao ZHang, Hu Zhou, Lihua ZHang
 View PDF
Gesture-Controlled Aerial Robot Formation for Human-Swarm Interaction in Safety Monitoring Applications AI summary
Ioannis Pitas, and Martin Saska
 View PDF
MRASfM: Multi-Camera Reconstruction and Aggregation through Structure-From-Motion in Driving Scenes AI summary
Lingfeng Xuan, Chang Nie, Yiqing Xu, Yanzi Miao, Hesheng Wang
 View PDF
Shape Sensing and Tip Tracking via Reciprocating Magnet in the Soft Continuum Robot AI summary
Pingyu Xiang, Zexi Zhao, Hongye Zhang, Yue Wang, Rong Xiong, Haojian Lu
 View PDF
Real-Time Multi-Level Terrain-Aware Path Planning for Ground Mobile Robots in Large-Scale Rough Terrains AI summary
Yuxiang Li, Kun Chen, Yifei Wang, Weifan Zhang, Jiancheng Wang, Haoyao Chen, Yunhui Liu
 View PDF
TrackVLA++: Unleashing Reasoning and Memory Capabilities in VLA Models for Embodied Visual Tracking AI summary
Jiahang Liu, Yunpeng Qi, Jiazhao Zhang, Minghan Li, Shaoan Wang, wu kui, Hanjing Ye, Hong Zhang, Zhibo Chen, Fangwei Zhong, Zhizheng Zhang, He Wang
 View PDF
Pitch Variation Filter for LiDAR-Only SLAM and Localization in Self-Balancing Mobile Robot AI summary
Doyeon Kim, Heoncheol Lee, Ka Hyung Choi
 View PDF
Stability Principle Inherent in Wheel Gait of Planar X-Shaped Walker Generated Using Constant Torque Drive and Mechanical Stoppers AI summary
Fumihiko Asano, Cong Yan
 View PDF
Not Throwing Away My Shot: Planning Ahead with Dual Subgoals in Long-Horizon Robot Manipulation Tasks AI summary
Longrui Chen, Yanlong Huang, Mehmet R Dogar
 View PDF
MERGE: Guided Vision-Language Models for Multi-Actor Event Reasoning and Grounding in Human�Robot Interaction AI summary
Joerg Deigmoeller, Nakul Agarwal, Stephan Hasler, Daniel Tanneberg, Anna Belardinelli, Reza Ghoddoosian, Chao Wang, Felix Ocker, Fan Zhang, Behzad Dariush, Michael Gienger
 View PDF
Fast Contact Detection Via Fusion of Joint and Inertial Sensors for Parallel Robots in Human-Robot Collaboration AI summary
Aran Mohammad, Jan Piosik, Dustin Lehmann, Thomas Seel, Moritz Schappler
 View PDF
Bi-Stable Thin Soft Robot for In-Plane Locomotion in Narrow Space AI summary
xi wang, Yihan Liu, Junhao TU, Jung-Che Chang, Feiran Wang, Dragos Axinte, Xin Dong
 View PDF
Optimizing Vehicle Trajectories at a Signalized Intersection in Mixed Traffic AI summary
Cheng Peng, Jiaping Wang, Pengchao Liu, Zhen Wang, Xiangmo Zhao
 View PDF
DRILL: Deployment & Reading of In-Ground Low-Cost Soil Moisture Logging Sensors Using an Autonomous Ground Robot AI summary
Aarya Deb, Joseph Norwood, Martin Vassilev, Sean MacDonald, Kitae Kim, David Cappelleri
 View PDF
RE-Formation: Resilient and Efficient Formation Planning in Large-Scale Distributed Aerial Swarms AI summary
Yuan Zhou, Lun Quan, Guangtong Xu, Chao Xu, Fei Gao
 View PDF
Bending Perception-Based Variable Stiffness Control for Snake Robots in Pipe Navigation AI summary
Shiyong Meng,, Huizhuo Yang, Kai Shen, Honglu Xu, Gen Chen, Jianming Wang,, and Xuan Xiao∗
 View PDF
SplatCtrl: Perception�Action Coupling Via Gaussian Scene Representations and Reactive Robot Control AI summary
Siddarth Jain, Ho Jin Choi
 View PDF
Predictive Local Planning with Multi-Step Reward and Q-Value Forecasting AI summary
Yuhan Du, Yuxiang Cui, Yulin Peng, Yiyuan Pan, Tianhao Cai, Yue Wang, Rong Xiong
 View PDF
Autonomous UAV�Quadruped Docking in Complex Terrains Via Active Posture Alignment and Constraint-Aware Control AI summary
Haozhe Xu, Cheng Cheng, Hongrui Sang, Zhipeng Wang, Qiyong He, Xiuxian Li, Bin He
 View PDF
Tactile Memory for Continuous Policy Blending in Unified Force-Impedance Control AI summary
Robin Jeanne Kirschner,, Hamid Sadeghian, and Sami Haddadin
 View PDF
Neural Profiling with fNIRS of Operator Performance in Teleoperated Human-Like Social Robot Interactions AI summary
David Achanccaray, Javier Andreu-Perez, Hidenobu Sumioka
 View PDF
Air-Ground Collaboration for Language-Specified Missions in Unknown Environments AI summary
Fernando Cladera, Zachary Ravichandran, Jason Hughes, Varun Murali, Carlos Nieto-Granda, M. Ani Hsieh, George J. Pappas, Camillo Jose Taylor, Vijay Kumar
 View PDF
PoCoDP3: Pose- and Contact-Aware Visual-Tactile Policy for Contact-Rich 3D Manipulation AI summary
Zhaokun Yue, Ling Tong, Kun Qian
 View PDF
Drifting in the Future: Stabilizing Path Following Drifting on High-Latency Vehicle Systems AI summary
Frederik Werner, Till Heintzenberg, Markus lienkamp, Johannes Betz
 View PDF
STEM: A Soft Tactile Electromagnetic Actuator for Multimodal Haptic Feedback in Virtual Environments AI summary
Heeju Mun, Seung Mo Jeong, Sein Lim, Seunggyeom Jung, Ki-Uk Kyung
 View PDF
Simultaneous Calibration of Noise Covariance and Kinematics for State Estimation of Legged Robots Via Bi-Level Optimization AI summary
Denglin Cheng, Jiarong Kang, Xiaobin Xiong
 View PDF
Mixed Reality-Based, Immersive, Semi-Autonomous Robotic Telemanipulation for the Execution of Peg-In-Hole Tasks AI summary
Shifei Duan, Francesco De Pace, Zhe Wang, Minas Liarokapis
 View PDF
Deep Learning�Driven Tumor Boundary Estimation Using Robotic Palpation in Minimally Invasive Surgery AI summary
Youngjun Ryu, Jeongbin Hong, Hyeonwoo Kee, Sukho Park
 View PDF
A Model Predictive Control Approach to Blending in Shared Control AI summary
Elio Jabbour, Margot Vulliez, Célestin Préault, Vincent Padois
 View PDF
Learning Contact Tasks Skills Based on DMP and Affordance Templates AI summary
Hunjo Lee, Gi-Hun Yang
 View PDF
Enabling Automated and Personalized Motor Assessment in Neurorehabilitation: Generating Patient-Specific Reference Movements with a Virtual Humanoid Twin AI summary
Mathilde Legrand, Olivier Lambercy, Roger Gassert
 View PDF
Waliner: Lightweight and Resilient Plugin Mapping Method with Wall Features for Visually Challenging Indoor Environments AI summary
DongKi Noh, Byunguk Lee, Hanngyoo Kim, Seung-Hwan Lee, HyunSung Kim, Juwon Kim, Jeong-Sik Choi, Seung-Min Baek
 View PDF
SceneComplete: Open-World 3D Scene Completion in Cluttered Real World Environments for Robot Manipulation AI summary
Aditya Agarwal, Gaurav Singh, Bipasha Sen, Tomas Lozano-Perez, Leslie Kaelbling
 View PDF
Enabling Embodied Human-Robot Co-Learning: Requirements, Method, and Test with Handover Task AI summary
Emma M. van Zoelen, Hugo Veldman-Loopik, Karel van den Bosch, Mark Neerincx, David A. Abbink, Luka Peternel
 View PDF
AsterNav: Autonomous Aerial Robot Navigation in Darkness Using Passive Computation AI summary
Deepak Singh, Shreyas Khobragade, Nitin Jagannatha Sanket
 View PDF
Dynamic Neural Potential Field: Online Trajectory Optimization in Presence of Moving Obstacles AI summary
Aleksei Staroverov, Muhammad Alhaddad, Aditya Narendra, Konstantin Mironov, Aleksandr Panov
 View PDF
Toward Human-Like Assistance: Detecting Help-Seeking in Human�Robot Collaboration Via Implicit Signals AI summary
Ane San Martin∗, Ander Iriondo, Michael Hagenow, Julie Shah, Johan Kildal, and Elena Lazkano
 View PDF
How IMU Drift Influences Multi-Radar Inertial Odometry for Ground Robots in Subterranean Terrains AI summary
Moumita Mukherjee, Magnus Norén, Anton Koval, Avijit Banerjee, George Nikolakopoulos
 View PDF