Research Analyzer
← ICRA 2024

All Papers

2337 papers in this venue.

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 45 of 47
Title & Authors Actions
Co-Designing Manipulation Systems Using Task-Relevant Constraints
Apoorv Vaish, Oliver Brock
 PDF
VLEIBot: A New 45-Mg Swimming Microrobot Driven by a Bioinspired Anguilliform Propulsor
Elijah Blankenship, Conor Trygstad, Francisco Gonçalves, Nestor O Perez-Arancibia
 PDF
Microphone Pair Training for Robust Sound Source Localization with Diverse Array Configurations
Inkyu An, Guoyuan An, Taeyoung Kim, Sung-eui Yoon
 PDF
Sim-Suction: Learning a Suction Grasp Policy for Cluttered Environments Using a Synthetic Benchmark
Juncheng Li, David Cappelleri
 PDF
Geometric Slosh-Free Tracking for Robotic Manipulators
Jon Arrizabalaga, Lukas Pries, Riddhiman Laha, Runkang Li, Sami Haddadin, Markus Ryll
 PDF
Imitation Learning-Based System for the Execution of Self-Paced Robotic-Assisted Passive Rehabilitation Exercises
Rafael J. Escarabajal, José Luis Pulloquinga, Pau Zamora-Ortiz, Angel Valera, Vicente Mata, Marina Valles
 PDF
Aerial Image-based Inter-day Registration for Precision Agriculture
Chen Gao, Franz Daxinger, Lukas Roth, Fabiola Maffra, Paul Beardsley, Margarita Chli, Lucas Teixeira
 PDF
Automatic Loading of Unknown Material with a Wheel Loader Using Reinforcement Learning
Daniel Eriksson, Reza Ghabcheloo, Marcus Geimer
 PDF
UKF-Based Sensor Fusion for Joint-Torque Sensorless Humanoid Robots
Ines Sorrentino, Giulio Romualdi, Daniele Pucci
 PDF
MIntNet: Rapid Motion Intention Forecasting of Coupled Human-Robot Systems with Simulation-To-Real Autoregressive Neural Networks
John Atkins, Hyunglae Lee
 PDF
The Kinematics of Constant Curvature Continuum Robots Through Three Segments
Yucheng Li, David H. Myszka, Andrew Murray
 PDF
VO-Safe Reinforcement Learning for Drone Navigation
Feiqiang Lin, Changyun Wei, Raphael Grech, Ze Ji
 PDF
Trust-Region Neural Moving Horizon Estimation for Robots
Bingheng Wang, Xuyang Chen, Lin Zhao
 PDF
Recursive Least Squares with Log-Determinant Divergence Regularisation for Online Inertia Identification
Namhoon Cho, Taeyoon Lee, Hyo-Sang Shin
 PDF
Learning Barrier-Certified Polynomial Dynamical Systems for Obstacle Avoidance with Robots
Martin Schonger, Hugo Tadashi Kussaba, Lingyun Chen, Luis Figueredo, Abdalla Swikir, Aude Billard, Sami Haddadin
 PDF
Motion Planning As Online Learning: A Multi-Armed Bandit Approach to Kinodynamic Sampling-Based Planning
Marco Faroni, Dmitry Berenson
 PDF
Lissajous Curve-Based Vibrational Orbit Control of a Flexible Vibrational Actuator with a Structural Anisotropy
Yuto Miyazaki, Mitsuru Higashimori
 PDF
A Generic Modeling Framework for the Design of Tendon-Driven Continuum Manipulators with Flexure Patterns
Yang Liu, Hansoul Kim, Yash Kulkarni, Farshid Alambeigi
 PDF
SPRINT: Scalable Policy Pre-Training Via Language Instruction Relabeling
Jesse Zhang, Karl Pertsch, Jiahui Zhang, Joseph Lim
 PDF
CenterCoop: Center-Based Feature Aggregation for Communication-Efficient Vehicle-Infrastructure Cooperative 3D Object Detection
Linyi Zhou, Zhongxue Gan, Jiayuan Fan
 PDF
Geometry-Informed Distance Candidate Selection for Adaptive Lightweight Omnidirectional Stereo Vision with Fisheye Images
Conner Pulling, Je Hon Tan, Yaoyu Hu, Sebastian Scherer
 PDF
Wasserstein Distributionally Robust Chance Constrained Trajectory Optimization for Mobile Robots within Uncertain Safe Corridor
Shaohang Xu, Haolin Ruan, Wentao Zhang, Yi'an Wang, Lijun Zhu, Chin Pang Ho
 PDF
Remote Control of Untethered Magnetic Robots within a Lumen Using X-Ray-Guided Robotic Platform
Leendert-Jan Wouter Ligtenberg, Nicole Christina Antoinetta Rabou, Sander Lars Peters, Trishal Sai Srinivas Vengetela, Schut Vincent, Herman Remco Liefers, Michiel Warle, Islam S.M. Khalil
 PDF
Robust Balancing Control of Biped Robots for External Forces
Hae Yeon Park, Jung Hoon Kim
 PDF
ASAP: Automated Sequence Planning for Complex Robotic Assembly with Physical Feasibility
Yunsheng Tian, Karl Willis, Bassel Al Omari, Jieliang Luo, Pingchuan Ma, Yichen Li, Farhad Javid, Edward Gu, Joshua Jacob, Shinjiro Sueda, Hui Li, Sachin Chitta, Wojciech Matusik
 PDF
Sim2Real Bilevel Adaptation for Object Surface Classification Using Vision-Based Tactile Sensors
Gabriele Mario Caddeo, Andrea Maracani, Paolo Didier Alfano, Nicola Agostino Piga, Lorenzo Rosasco, Lorenzo Natale
 PDF
Maximizing Quadruped Velocity by Minimizing Energy
Srinath Mahankali, Chi-Chang Lee, Gabriel Margolis, Zhang-Wei Hong, Pulkit Agrawal
 PDF
The Un-Kidnappable Robot: Acoustic Localization of Sneaking People
Mengyu Yang, Patrick Grady, Samarth Manoj Brahmbhatt, Arun Balajee Vasudevan, Charles C. Kemp, James Hays
 PDF
The Price of a Safe Flight: Risk Cost Based Path Planning
Aliaksei Pilko, Andy Oakey, Mario Ferraro, James Scanlan
 PDF
Boundary Factors for Seamless State Estimation between Autonomous Underwater Docking Phases
Aldo Terán Espinoza, Antonio Teran Espinoza, John Folkesson, Peter Sigray, Jakob Kuttenkeuler
 PDF
HyperPPO: A Scalable Method for Finding Small Policies for Robotic Control
Shashank Hegde, Zhehui Huang, Gaurav Sukhatme
 PDF
PVTransformer: Point-To-Voxel Transformer for Scalable 3D ObjectDetection
Zhaoqi Leng, Pei Sun, Tong He, Dragomir Anguelov, Mingxing Tan
 PDF
Nezha-F: Design and Analysis of a Foldable and Self-Deployable HAUV
YuLin Bai, Yufei Jin, ChunHu Liu, Zheng Zeng, Lian LIAN
 PDF
AeroDima: Cheetah-Inspired Aerodynamic Tail Design for Rapid Maneuverability
Daryn Bright, Stacey Leigh Shield, Amir Patel
 PDF
Nullspace Adaptive Model-Based Trajectory-Tracking Control for a 6-DOF Underwater Vehicle with Unknown Plant and Actuator Parameters: Theory and Preliminary Simulation Evaluation
Annie Mao, Joseph Moore, Louis Whitcomb
 PDF
Efficient Gas Source Active Search in Unfamiliar Environments
yu Zhai, Yanzi Miao
 PDF
Moving Horizon Estimation of Human Kinematics and Muscle Forces
Amedeo Ceglia, François Bailly, Mickael Begon
 PDF
DINOBot: Robot Manipulation Via Retrieval and Alignment with Vision Foundation Models
Norman Di Palo, Edward Johns
 PDF
Quadcopter Trajectory Time Minimization and Robust Collision Avoidance Via Optimal Time Allocation
Zhefan Xu, Kenji Shimada
 PDF
Perceptual Factors for Environmental Modeling in Robotic Active Perception
David Morilla-Cabello, Jonas Westheider, Marija Popovic, Eduardo Montijano
 PDF
Heuristic-Based Incremental Probabilistic Roadmap for Efficient UAV Exploration in Dynamic Environments
Zhefan Xu, Christopher Suzuki, Xiaoyang Zhan, Kenji Shimada
 PDF
Aerial Tensile Perching and Disentangling Mechanism for Long-Term Environmental Monitoring
Tian Lan, Luca Romanello, Mirko Kovac, Sophie Franziska Armanini, Basaran Bahadir Kocer
 PDF
Imitating and Finetuning Model Predictive Control for Robust and Symmetric Quadrupedal Locomotion
Donghoon Youm, Hyunyoung Jung, HyeongJun Kim, Jemin Hwangbo, Hae-Won Park, Sehoon Ha
 PDF
Achieving Autonomous Cloth Manipulation with Optimal Control Via Differentiable Physics-Aware Regularization and Safety Constraints
Yutong Zhang, FEI LIU, Xiao Liang, Michael C. Yip
 PDF
Low Computational-Cost Detection and Tracking of Dynamic Obstacles for Mobile Robots with RGB-D Cameras
Zhefan Xu, Xiaoyang Zhan, Yumeng Xiu, Christopher Suzuki, Kenji Shimada
 PDF
Torque-Based Deep Reinforcement Learning for Task-And-Robot Agnostic Learning on Bipedal Robots Using Sim-To-Real Transfer
Donghyeon Kim, Glen Berseth, Mathew Schwartz, Jaeheung Park
 PDF
MacFormer: Map-Agent Coupled Transformer for Real-Time and Robust Trajectory Prediction
Chen Feng, Hangning Zhou, Huadong Lin, Zhigang Zhang, Ziyao Xu, Chi Zhang, Boyu Zhou, Shaojie Shen
 PDF
Design of Highly Repeatable and Multi-Functional Grippers for Precision Handling with Articulated Robots
Philip Gümbel, Klaus Dröder
 PDF
Modeling and Design of Lattice-Reinforced Pneumatic Soft Robots
Dong Wang, Chengru Jiang, Guoying Gu
 PDF
Hybrid Robot for Percutaneous Needle Intervention Procedures: Mechanism Design and Experiment Verification
Hanyi Zhang, Guocai Yao, Feifan Zhang, Fanchuan Lin, Fuchun Sun
 PDF