ICRA 2024

2337 papers · 0 AI summaries · 2024

AI summary only

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	View PDF
Loading…
	VLEIBot: A New 45-Mg Swimming Microrobot Driven by a Bioinspired Anguilliform Propulsor Elijah Blankenship, Conor Trygstad, Francisco Gonçalves, Nestor O Perez-Arancibia	View PDF
Loading…
	Microphone Pair Training for Robust Sound Source Localization with Diverse Array Configurations Inkyu An, Guoyuan An, Taeyoung Kim, Sung-eui Yoon	View PDF
Loading…
	Sim-Suction: Learning a Suction Grasp Policy for Cluttered Environments Using a Synthetic Benchmark Juncheng Li, David Cappelleri	View PDF
Loading…
	Geometric Slosh-Free Tracking for Robotic Manipulators Jon Arrizabalaga, Lukas Pries, Riddhiman Laha, Runkang Li, Sami Haddadin, Markus Ryll	View PDF
Loading…
	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	View PDF
Loading…
	Aerial Image-based Inter-day Registration for Precision Agriculture Chen Gao, Franz Daxinger, Lukas Roth, Fabiola Maffra, Paul Beardsley, Margarita Chli, Lucas Teixeira	View PDF
Loading…
	Automatic Loading of Unknown Material with a Wheel Loader Using Reinforcement Learning Daniel Eriksson, Reza Ghabcheloo, Marcus Geimer	View PDF
Loading…
	UKF-Based Sensor Fusion for Joint-Torque Sensorless Humanoid Robots Ines Sorrentino, Giulio Romualdi, Daniele Pucci	View PDF
Loading…
	MIntNet: Rapid Motion Intention Forecasting of Coupled Human-Robot Systems with Simulation-To-Real Autoregressive Neural Networks John Atkins, Hyunglae Lee	View PDF
Loading…
	The Kinematics of Constant Curvature Continuum Robots Through Three Segments Yucheng Li, David H. Myszka, Andrew Murray	View PDF
Loading…
	VO-Safe Reinforcement Learning for Drone Navigation Feiqiang Lin, Changyun Wei, Raphael Grech, Ze Ji	View PDF
Loading…
	Trust-Region Neural Moving Horizon Estimation for Robots Bingheng Wang, Xuyang Chen, Lin Zhao	View PDF
Loading…
	Recursive Least Squares with Log-Determinant Divergence Regularisation for Online Inertia Identification Namhoon Cho, Taeyoon Lee, Hyo-Sang Shin	View PDF
Loading…
	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	View PDF
Loading…
	Motion Planning As Online Learning: A Multi-Armed Bandit Approach to Kinodynamic Sampling-Based Planning Marco Faroni, Dmitry Berenson	View PDF
Loading…
	Lissajous Curve-Based Vibrational Orbit Control of a Flexible Vibrational Actuator with a Structural Anisotropy Yuto Miyazaki, Mitsuru Higashimori	View PDF
Loading…
	A Generic Modeling Framework for the Design of Tendon-Driven Continuum Manipulators with Flexure Patterns Yang Liu, Hansoul Kim, Yash Kulkarni, Farshid Alambeigi	View PDF
Loading…
	SPRINT: Scalable Policy Pre-Training Via Language Instruction Relabeling Jesse Zhang, Karl Pertsch, Jiahui Zhang, Joseph Lim	View PDF
Loading…
	CenterCoop: Center-Based Feature Aggregation for Communication-Efficient Vehicle-Infrastructure Cooperative 3D Object Detection Linyi Zhou, Zhongxue Gan, Jiayuan Fan	View PDF
Loading…
	Geometry-Informed Distance Candidate Selection for Adaptive Lightweight Omnidirectional Stereo Vision with Fisheye Images Conner Pulling, Je Hon Tan, Yaoyu Hu, Sebastian Scherer	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Robust Balancing Control of Biped Robots for External Forces Hae Yeon Park, Jung Hoon Kim	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Maximizing Quadruped Velocity by Minimizing Energy Srinath Mahankali, Chi-Chang Lee, Gabriel Margolis, Zhang-Wei Hong, Pulkit Agrawal	View PDF
Loading…
	The Un-Kidnappable Robot: Acoustic Localization of Sneaking People Mengyu Yang, Patrick Grady, Samarth Manoj Brahmbhatt, Arun Balajee Vasudevan, Charles C. Kemp, James Hays	View PDF
Loading…
	The Price of a Safe Flight: Risk Cost Based Path Planning Aliaksei Pilko, Andy Oakey, Mario Ferraro, James Scanlan	View PDF
Loading…
	Boundary Factors for Seamless State Estimation between Autonomous Underwater Docking Phases Aldo Terán Espinoza, Antonio Teran Espinoza, John Folkesson, Peter Sigray, Jakob Kuttenkeuler	View PDF
Loading…
	HyperPPO: A Scalable Method for Finding Small Policies for Robotic Control Shashank Hegde, Zhehui Huang, Gaurav Sukhatme	View PDF
Loading…
	PVTransformer: Point-To-Voxel Transformer for Scalable 3D ObjectDetection Zhaoqi Leng, Pei Sun, Tong He, Dragomir Anguelov, Mingxing Tan	View PDF
Loading…
	Nezha-F: Design and Analysis of a Foldable and Self-Deployable HAUV YuLin Bai, Yufei Jin, ChunHu Liu, Zheng Zeng, Lian LIAN	View PDF
Loading…
	AeroDima: Cheetah-Inspired Aerodynamic Tail Design for Rapid Maneuverability Daryn Bright, Stacey Leigh Shield, Amir Patel	View PDF
Loading…
	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	View PDF
Loading…
	Efficient Gas Source Active Search in Unfamiliar Environments yu Zhai, Yanzi Miao	View PDF
Loading…
	Moving Horizon Estimation of Human Kinematics and Muscle Forces Amedeo Ceglia, François Bailly, Mickael Begon	View PDF
Loading…
	DINOBot: Robot Manipulation Via Retrieval and Alignment with Vision Foundation Models Norman Di Palo, Edward Johns	View PDF
Loading…
	Quadcopter Trajectory Time Minimization and Robust Collision Avoidance Via Optimal Time Allocation Zhefan Xu, Kenji Shimada	View PDF
Loading…
	Perceptual Factors for Environmental Modeling in Robotic Active Perception David Morilla-Cabello, Jonas Westheider, Marija Popovic, Eduardo Montijano	View PDF
Loading…
	Heuristic-Based Incremental Probabilistic Roadmap for Efficient UAV Exploration in Dynamic Environments Zhefan Xu, Christopher Suzuki, Xiaoyang Zhan, Kenji Shimada	View PDF
Loading…
	Aerial Tensile Perching and Disentangling Mechanism for Long-Term Environmental Monitoring Tian Lan, Luca Romanello, Mirko Kovac, Sophie Franziska Armanini, Basaran Bahadir Kocer	View PDF
Loading…
	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	View PDF
Loading…
	Achieving Autonomous Cloth Manipulation with Optimal Control Via Differentiable Physics-Aware Regularization and Safety Constraints Yutong Zhang, FEI LIU, Xiao Liang, Michael C. Yip	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	Design of Highly Repeatable and Multi-Functional Grippers for Precision Handling with Articulated Robots Philip Gümbel, Klaus Dröder	View PDF
Loading…
	Modeling and Design of Lattice-Reinforced Pneumatic Soft Robots Dong Wang, Chengru Jiang, Guoying Gu	View PDF
Loading…
	Hybrid Robot for Percutaneous Needle Intervention Procedures: Mechanism Design and Experiment Verification Hanyi Zhang, Guocai Yao, Feifan Zhang, Fanchuan Lin, Fuchun Sun	View PDF
Loading…