Research Analyzer

ICRA 2026

2898 papers · 2898 AI summaries · 2026

Clear
2884 result(s) for “Formal Methods in Robotics and Automation” Page 30 of 58
Title & Authors Actions
Hierarchical Reactive Grasping Via Task-Space Velocity Fields and Joint-Space Quadratic Programming AI summary
Yonghyeon Lee, Tzu-Yuan Lin, Alexander Alexiev, Sangbae Kim
 View PDF
Learning Autonomous and Safe Quadruped Traversal of Complex Terrains Using Multi-Layer Elevation Maps AI summary
Yeke Chen, Ji Ma, Zeren Luo, Yimin Han, YINZHAO DONG, Bowen Xu, Peng Lu
 View PDF
Evolutionary Automatic Guidance Scheme for Magnetic Nanoparticles in High-Flow Vascular Models Using a Uniform Magnetic Force Field AI summary
Boyoung Son, Metin Sitti, Jungwon Yoon
 View PDF
Learning Fast, Tool-Aware Collision Avoidance for Collaborative Robots AI summary
Joonho Lee, Yunho Kim, Seok Joon Kim, Van Quan Nguyen, Young Jin Heo
 View PDF
Vision-Guided Outdoor Flight and Obstacle Evasion Via Reinforcement Learning AI summary
Shiladitya Dutta, Aayush Gupta, Varun Saran, Avideh Zakhor
 View PDF
ArthroCut: Autonomous Policy Learning for Robotic Bone Resection in Knee Arthroplasty AI summary
Xu Lu, Yiling Zhang, Wenquan Cheng, Longfei Ma, Fang Chen, Hongen Liao
 View PDF
No Need to Look! Locating and Grasping Objects by a Robot Arm Covered with Sensitive Skin AI summary
Karel Bartunek∗, Lukas Rustler∗, and Matej Hoffmann
 View PDF
Modeling and Control of a Pneumatic Soft Robotic Catheter Using Neural Koopman Operators AI summary
Yiyao Yue, Noah Barnes, Lingyun Di, Olivia Young, Ryan Sochol, Jeremy DeLaine Brown, Axel Krieger
 View PDF
On Transient Release Dynamics in Robot Throwing: A Sliding Pivot Model AI summary
Yang Liu, Aude Billard
 View PDF
Tying Knots in the Air: Reducing the Number of Quadrotors for Aerial Knot Formation AI summary
Tongshu Wu, Edward Caleb Lopez Tarazona, Diego S. D'Antonio, David Saldaña
 View PDF
Design and Development of a Spiral Chain Actuator AI summary
Rakshya Subedi, Shia Gourdet, Leah Harris, Andrew Bae
 View PDF
LVI-Q: Robust LiDAR-Visual-Inertial-Kinematic Odometry for Quadruped Robots Using Tightly-Coupled and Efficient Alternating Optimization AI summary
Kevin Christiansen Marsim, Minho Oh, Byeongho Yu, Seungjae Lee, I Made Aswin Nahrendra, HYUNGTAE LIM, Hyun Myung
 View PDF
Field Deployment of BiodivX Drones in the Amazon Rainforest for Biodiversity Monitoring AI summary
Christian Geckeler, Steffen Kirchgeorg, Georg Miguel Strunck, Frederik Bendix Thostrup, Florencia Sangermano, Andrea Desiderato, Martina Lüthi, Meret Jucker, Mailyn Adriana Gonzalez Herrera, Nicolás D. Franco-Sierra, Paola Pulido-Santacruz, Jia Jin Marc Chang, Yin Cheong Aden Ip, Elvira Mächler, Asger Svenning, Guillaume Mougeot, Toke Thomas Høye, Fabian Fopp, Loic Pellissier, David Dao, Kristy Deiner, Claus Melvad, Salua Hamaza, Stefano Mintchev
 View PDF
ASCENT: Transformer-Based Aircraft Trajectory Prediction in Non-Towered Terminal Airspace AI summary
Alexander Prutsch, David Schinagl, Horst Possegger
 View PDF
SG-Reg: Generalizable and Efficient Scene Graph Registration AI summary
Chuhao Liu, Zhijian Qiao, Jieqi Shi, Ke WANG, Peize LIU, Shaojie Shen
 View PDF
RICE: Reactive Interaction Controller for Cluttered Canopy Environment AI summary
Nidhi Parayil, Thierry Peynot, Christopher Lehnert
 View PDF
INSIGHT: INference-Time Sequence Introspection for Generating Help Triggers in Vision-Language-Action Models AI summary
Ulas Berk Karli, Ziyao Shangguan, Tesca Fitzgerald
 View PDF
Improving Gecko Adhesive Performance in Robotic Systems through Trajectory Optimization AI summary
Dror Kobo, Goren Gordon, Bat-El Pinchasik
 View PDF
Performance-Guided Refinement for Visual Aerial Navigation Using Editable Gaussian Splatting in FalconGym 2.0 AI summary
Yan Miao, Ege Yuceel, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Sayan Mitra
 View PDF
GLaMP: A Grounded Language Model-Based Multi-Agent System for Long-Horizon Robotic Task Planning in Industrial Settings AI summary
HONGPENG CHEN, David Navarro-Alarcon, PAI ZHENG
 View PDF
RPG: Robust Policy Gating for Smooth Multi-Skill Transitions in Humanoid Fighting AI summary
Xuelong Li, Junbo Tan, Dong Wang
 View PDF
Semantic Equirectangular Visual Tracking in Lightweight 3D Building Reconstructions AI summary
Hussein Loubani, Nathan Crombez, Jocelyn Buisson, Yassine Ruichek
 View PDF
LPV-MPC for Lateral Control in Full-Scale Autonomous Racing AI summary
Hassan Jardali, Ihab S. Mohamed, Durgakant Pushp, Lantao Liu
 View PDF
Language Conditioning Improves Accuracy of Aircraft Goal Prediction in Non-Towered Airspace AI summary
Sundhar Vinodh Sangeetha, Chih-Yuan Chiu, Sarah H.Q. Li, Shreyas Kousik
 View PDF
Robustness Is a Function, Not a Number: A Factorized Comprehinsive Study of OOD Robustness in Vision-Based Driving AI summary
Amir Mallak, Alaa Maalouf
 View PDF
Demonstration-Augmented Deep Reinforcement Learning with Mixed Reality Human-In-The-Loop Guidance AI summary
Mohammad-Ehsan Matour, Alexander Winkler
 View PDF
Self-Adaptive Autonomous Navigation Based on Reservoir Computing in Snowy Environments AI summary
Fangzheng Li, Yonghoon Ji
 View PDF
Confidence-Based Intent Prediction for Teleoperation in Bimanual Robotic Suturing AI summary
Zhaoyang Jacopo Hu, HAOZHENG XU, Sion Kim, Yanan Li, Ferdinando Rodriguez y Baena, etienne burdet
 View PDF
Visual Grounding Via Heterogeneous Representation Learning and Hierarchical Reasoning of Human-To-Vehicle Commands AI summary
Hao Wang, Suining He, Kang G. Shin
 View PDF
Learning Policies for Dynamic Coalition Formation in Multi-Robot Task Allocation AI summary
Lucas Bezerra, Ataide Santos, Shinkyu Park
 View PDF
Towards Versatile Opti-Acoustic Sensor Fusion and Volumetric Mapping for Safe Underwater Navigation AI summary
Ivana Collado-Gonzalez, John McConnell, Brendan Englot
 View PDF
Reliable Robotic Task Execution in the Face of Anomalies AI summary
Bharath Santhanam, Alex Mitrevski, Santosh Thoduka, Sebastian Houben, Teena Hassan
 View PDF
CADET: A Modular Platform for Evaluating Distributed Cooperative Autonomy in Connected Autonomous Vehicles AI summary
Pragya Sharma, Brian Wang, Mani Srivastava
 View PDF
SoftMimicGen: A Data Generation System for Scalable Robot Learning in Deformable Object Manipulation AI summary
Masoud Moghani, Mahdi Azizian, Animesh Garg, Yuke Zhu, Sean Huver, Ajay Uday Mandlekar
 View PDF
What's the Deal with Robot Comedy? Pinpointing the Impact of Post-Joke Repartee in a Robotic Comedian's Performance AI summary
Ayan Robinson, Sarah Woods, Madison Shippy, DeAndre Walcott, Naomi T. Fitter
 View PDF
MOGS: Monocular Object-Guided Gaussian Splatting in Large Scenes AI summary
Shengkai Zhang, Yuhe Liu, Jianhua He, Xuedou Xiao, Mozi Chen, Kezhong Liu
 View PDF
GENIE: A Generalizable Navigation System for In-The-Wild Environments AI summary
Jiaming Wang, Diwen Liu, Jizhuo Chen, Jiaxuan Da, Nuowen Qian, Minh Man Tram, Harold Soh
 View PDF
Above and Below: Heterogeneous Multi-Robot SLAM across Surface and Underwater Domains AI summary
John McConnell, Armon Shariati, Paul Szenher, Yaxuan Li
 View PDF
PERAL: Perception-Aware Motion Control for Passive LiDAR Excitation in Spherical Robots AI summary
Shenghai Yuan, Jason Wai Hao Yee, Weixiang Guo, Zhongyuan Liu, Thien-Minh Nguyen, Lihua Xie
 View PDF
Adaptive Gain Nonlinear Observer for External Wrench Estimation in Human-UAV Physical Interaction AI summary
Hussein N. Naser, Hashim A. Hashim, Mojtaba Ahmadi
 View PDF
Learning Maximal Safe Sets Using Hypernetworks for MPC-Based Local Trajectory Planning in Unknown Environments AI summary
Bojan Derajic, Mohamed-Khalil Bouzidi, Sebastian Bernhard, Wolfgang Hoenig
 View PDF
Breaking the Latency Barrier: Synergistic Perception and Control for High-Frequency 3D Ultrasound Servoing AI summary
Yizhao Qian, Yujie Zhu, Jiayuan Luo, Li Liu, Yixuan Yuan, Hongen Liao, Guochen Ning
 View PDF
Multi-Structure Mapping for Filtering Electric Arc Noise in Power Line Environments AI summary
Najlae Boulajoul, Alexis Lussier Desbiens, François Ferland
 View PDF
Accelerating High-Capacity Ridepooling in Robo-Taxi Systems AI summary
Xinling Li, Daniele Gammelli, Alex Wallar, Jinhua Zhao, Gioele Zardini
 View PDF
Vision-Based Reasoning with Topology-Encoded Graphs for Anatomical Path Disambiguation in Robot-Assisted Endovascular Navigation AI summary
Jiyuan Zhao, Zhengyu Shi, Wentong Tian, Tianliang Yao, Dong Liu, Tao Liu, Yizhe Wu, Peng Qi,,∗
 View PDF
Multi-Strategy Enhanced Particle Swarm Optimization for Variable Curvature Path Planning in Flexible Needle Insertion AI summary
Yanding Qin, Jianing Teng, Chao Wen, Ge Fang, Hongpeng Wang, Jianda Han
 View PDF
A Synthetic Benchmark for Collaborative 3D Semantic Occupancy Prediction in V2X-Enabled Autonomous Driving AI summary
Hanlin Wu, Pengfei Lin, Ehsan Javanmardi, Naren Bao, Bo Qian, Hao Si, Manabu Tsukada
 View PDF
Systematic Characterization of Drilling Parameters in Concentric Tube Steerable Drilling Robots: A Comparative Study AI summary
Daniyal Maroufi, Yash Kulkarni, Vibhu Kanna Rajesh Kanna, Jordan P. Amadio, Mohsen Khadem, Justin E. Bird, Jeff Siewerdsen, Farshid Alambeigi
 View PDF
Zero-Shot Recognition of Test Tube Types by Automatically Collecting and Labeling RGB Data AI summary
Yu Tang, Weiwei Wan, Hao Chen, Masaki Matsushita, Jun Takahashi, Takeyuki Kotaka, Kensuke Harada
 View PDF
Data-Driven Anomaly Detection in Robots Using Matrix Chernoff Bounds AI summary
Richa Dubey, Niladri Sekhar Tripathy, Suril Vijaykumar Shah
 View PDF