Research Analyzer

ICRA 2024

2337 papers · 0 AI summaries · 2024

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 35 of 47
Title & Authors Actions
Learning Which Side to Scan: Multi-View Informed Active Perception with Side Scan Sonar for Autonomous Underwater Vehicles
Advaith Venkatramanan Sethuraman, Philip Baldoni, Katherine Skinner, James McMahon
 View PDF
SLIM: Skill Learning with Multiple Critics
David Emukpere, Bingbing WU, JULIEN PEREZ, Jean-Michel RENDERS
 View PDF
Distributed Control Barrier Functions for Global Connectivity Maintenance
Nicola De Carli, Paolo Salaris, Paolo Robuffo Giordano
 View PDF
SWTrack: Multiple Hypothesis Sliding Window 3D Multi-Object Tracking
Sandro Papais, Robert Ren, Steven Lake Waslander
 View PDF
Decomposing the Generalization Gap in Imitation Learning for Visual Robotic Manipulation
Annie Xie, Lisa Lee, Ted Xiao, Chelsea Finn
 View PDF
Reinforcement Learning for Collision-Free Flight Exploiting Deep Collision Encoding
Mihir Kulkarni, Kostas Alexis
 View PDF
SculptBot: Pre-Trained Models for 3D Deformable Object Manipulation
Alison Bartsch, Charlotte Avra, Amir Barati Farimani
 View PDF
Learning-Based Model Predictive Control for an Autonomous Formula Student Racing Car
David Gomes, Miguel Botto, Pedro U. Lima
 View PDF
RGBManip: Monocular Image-Based Robotic Manipulation through Active Object Pose Estimation
Boshi An, Yiran Geng, Kai Chen, Xiaoqi Li, Qi Dou, Hao Dong
 View PDF
Hybrid Force-Position Control of an Elastic Tendon-Driven Scrubbing Robot (TEDSR)
Noah Harmatz, Alina Zahra, Amir Abdelmalak, Shivam Purohit, Trevor Shin, Aaron Mazzeo
 View PDF
Redundancy Resolution at Position Level
Alin Albu-Schäffer, Arne Sachtler
 View PDF
HyperLeg: Biomechanics-Inspired High-DOF Leg and Toe Mechanism for Highly Dynamic Motions
Do-yun Kim, Seong-Ho Yun, Joong-Kyung Lee, JongJun Yoon, Dongyun Nam, Chan-Young Maeng, Yong-Jae Kim
 View PDF
Parameter Identifying Disturbance Rejection Control with Asymptotic Error Convergence
Radosław Patelski, Dariusz Pazderski
 View PDF
Seamless Reaction Strategy for Bipedal Locomotion Exploiting Real-Time Nonlinear Model Predictive Control
JongHun Choe, Joon-Ha Kim, Seungwoo Hong, Jinoh Lee, Hae-Won Park
 View PDF
An Offline Learning of Behavior Correction Policy for Vision-Based Robotic Manipulation
Qingxiuxiong Dong, Toshimitsu Kaneko, Masashi Sugiyama
 View PDF
Multi-Agent Strategy Explanations for Human-Robot Collaboration
Ravi Pandya, Michelle Zhao, Changliu Liu, Reid Simmons, Henny Admoni
 View PDF
Scene Action Maps: Behavioural Maps for Navigation without Metric Information
Joel Loo, David Hsu
 View PDF
HabitatDyn 2.0: Dataset for Spatial Anticipation and Dynamic Object Localization
Zhengcheng Shen, Linh Kästner, Yi Gao, Jens Lambrecht
 View PDF
RotorTM: A Flexible Simulator for Aerial Transportation and Manipulation
Guanrui Li, Liu Xinyang, Giuseppe Loianno
 View PDF
A Learning-Based Approach for Estimating Inertial Properties of Unknown Objects from Encoder Discrepancies
Zizhou Lao, Yuanfeng Han, Yunshan Ma, Gregory Chirikjian
 View PDF
REFORMA: Robust REinFORceMent Learning Via Adaptive Adversary for Drones Flying under Disturbances
Hao-Lun Hsu, Haocheng Meng, Shaocheng Luo, Juncheng Dong, Vahid Tarokh, Miroslav Pajic
 View PDF
Differentiable Compliant Contact Primitives for Estimation and Model Predictive Control
Kevin Haninger, Kangwagye Samuel, Filippo Rozzi, Sehoon Oh, Loris Roveda
 View PDF
Online Adaptation of Sampling-Based Motion Planning with Inaccurate Models
Marco Faroni, Dmitry Berenson
 View PDF
Adaptive Motion Scaling for Robot-Assisted Microsurgery Based on Hybrid Offline Reinforcement Learning and Damping Control
Peiyang Jiang, Wei Li, Yifan Li, Dandan Zhang
 View PDF
Shape-Conformable Suction Cups with Controllable Adaptive Suction on Complex Surfaces
Tianqi Yue, Hermes Bloomfield-Gadelha, Jonathan Rossiter
 View PDF
Geranos: A Novel Tilted-Rotors Aerial Robot for the Transportation of Poles
Nicolas Gorlo, Mario Sven Müller, Samuel Bamert, Tim Reinhart, Henriette Stadler, Rafael Cathomen, Gabriel Käppeli, Hua Shen, Eugenio Cuniato, Marco Tognon, Roland Siegwart
 View PDF
Flight Validation of a Global Singularity-Free Aerodynamic Model for Flight Control of Tail Sitters
Krishna Murali, Elena Ponce Moreno, Leandro Lustosa
 View PDF
RL + Model-Based Control: Using On-Demand Optimal Control to Learn Versatile Legged Locomotion
Dongho Kang, Jin Cheng, Miguel Angel Zamora Mora, Fatemeh Zargarbashi, Stelian Coros
 View PDF
APACE: Agile and Perception-Aware Trajectory Generation for Quadrotor Flights
Xinyi Chen, Yichen Zhang, Boyu Zhou, Shaojie Shen
 View PDF
Learning to Dexterously Pick or Separate Tangled-Prone Objects for Industrial Bin Picking
Xinyi Zhang, Yukiyasu Domae, Weiwei Wan, Kensuke Harada
 View PDF
Online Modifications for Event-Based Signal Temporal Logic Specifications
David Gundana, Hadas Kress-Gazit
 View PDF
Anthropomorphic Grasping with Neural Object Shape Completion
Diego Xavier Hidalgo Carvajal, Hanzhi Chen, Gemma Carolina Bettelani, Jaesug Jung, Melissa Zavaglia, Laura Busse, Abdeldjallil Naceri, Stefan Leutenegger, Sami Haddadin
 View PDF
ERRA: An Embodied Representation and Reasoning Architecture for Long-Horizon Language-Conditioned Manipulation Tasks
Chao Zhao, Shuai Yuan, Chunli Jiang, Junhao Cai, Hongyu Yu, Michael Yu Wang, Qifeng Chen
 View PDF
Learning-based Inverse Perception Contracts and Applications
Dawei Sun, benjamin yang, Sayan Mitra
 View PDF
RenderOcc: Vision-Centric 3D Occupancy Prediction with 2D Rendering Supervision
Mingjie Pan, Jiaming Liu, Renrui Zhang, Peixiang Huang, Xiaoqi Li, Bing Wang, Hongwei Xie, Li Liu, Shanghang Zhang
 View PDF
UAV-Sim: NeRF-Based Synthetic Data Generation for UAV-Based Perception
Christopher Maxey, jaehoon Choi, Hyungtae Lee, Dinesh Manocha, Heesung Kwon
 View PDF
Modality Attention for Prediction-Based Robot Motion Generation: Improving Interpretability and Robustness of Using Multi-Modality
Hideyuki Ichiwara, Hiroshi Ito, Kenjiro Yamamoto, Hiroki Mori, Tetsuya Ogata
 View PDF
Attention-Based Cloth Manipulation from Model-Free Topological Representation
Kevin Galassi, Bingbing WU, JULIEN PEREZ, Gianluca Palli, Jean-Michel RENDERS
 View PDF
Low-To-High Resolution Path Planner for Robotic Gas Distribution Mapping
Rohit Vishwajit Nanavati, Callum Rhodes, Matthew Coombes, Cunjia Liu
 View PDF
Collaborative Dynamic 3D Scene Graphs for Automated Driving
Elias Greve, Martin Büchner, Niclas Vödisch, Wolfram Burgard, Abhinav Valada
 View PDF
Acoustically Driven Micropipette for Hydrodynamic Manipulation of Mouse Oocytes
Zhaofeng Zuo, Xiaoming LIU, Zhuo Chen, Yuyang Li, Xiaoqing Tang, Dan Liu, Qiang Huang, Tatsuo Arai
 View PDF
Vision-Language Frontier Maps for Zero-Shot Semantic Navigation
Naoki Yokoyama, Sehoon Ha, Dhruv Batra, Jiuguang Wang, Bernadette Bucher
 View PDF
A Dynamic Planner for Safe and Predictable Human-Robot Collaboration
Andrea Pupa, Marco Minelli, Cristian Secchi
 View PDF
A Two-Step Nonlinear Factor Sparsification for Scalable Long-Term SLAM Backend
Binqian Jiang, Shaojie Shen
 View PDF
Multimodal Indoor Localization Using Crowdsourced Radio Maps
Zhaoguang Yi, Xiangyu Wen, Qiyue Xia, Peize Li, Francisco Zampella, Firas Alsehly, Chris Xiaoxuan Lu
 View PDF
AG-CVG: Coverage Planning with a Mobile Recharging UGV and an Energy-Constrained UAV
Nare Karapetyan, Ahmad Bilal Asghar, Amisha Bhaskar, Guangyao Shi, Dinesh Manocha, Pratap Tokekar
 View PDF
Direct Self-Identification of Inverse Jacobians for Dexterous Manipulation through Particle Filtering
Joshua Grace, Podshara Chanrungmaneekul, Kaiyu Hang, Aaron Dollar
 View PDF
Estimating Material Properties of Interacting Objects Using Sum-GP-UCB
Muhammet Yunus Seker, Oliver Kroemer
 View PDF
SynthAct: Towards Generalizable Human Action Recognition Based on Synthetic Data
David Schneider, Marco Keller, Zeyun Zhong, Kunyu Peng, Alina Roitberg, Jürgen Beyerer, Rainer Stiefelhagen
 View PDF
CoFRIDA: Self-Supervised Fine-Tuning for Human-Robot Co-Painting
Peter Schaldenbrand, Gaurav Parmar, Jun-Yan Zhu, James McCann, Jean Oh
 View PDF