Research Analyzer

ICRA 2024

2337 papers · 0 AI summaries · 2024

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 34 of 47
Title & Authors Actions
RBI-RRT*: Efficient Sampling-Based Path Planning for High-Dimensional State Space
Fang Chen, Yu Zheng, Zheng Wang, Wanchao Chi, Sicong LIU
 View PDF
ColAG: A Collaborative Air-Ground Framework for Perception-Limited UGVs' Navigation
Zhehan Li, Rui Mao, Nanhe Chen, Chao Xu, Fei Gao, Yanjun Cao
 View PDF
Contrastive Initial State Buffer for Reinforcement Learning
Nico Messikommer, Yunlong Song, Davide Scaramuzza
 View PDF
Risk-Sensitive Extended Kalman Filter
Armand Jordana, Avadesh Meduri, Etienne Arlaud, Justin Carpentier, Ludovic Righetti
 View PDF
Stability Analysis of Distance-Angle Leader-Follower Formation Control
Manao Machida, Masumi Ichien
 View PDF
Multi-Resolution Planar Region Extraction for Uneven Terrains
Yinghan Sun, Linfang Zheng, Hua Chen, Wei Zhang
 View PDF
Solving Rearrangement Puzzles Using Path Defragmentation in Factored State Spaces
Servet Bora Bayraktar, Andreas Orthey, Zachary Kingston, Marc Toussaint, Lydia Kavraki
 View PDF
Active Collision-Based Navigation for Wheeled Robots
Jingjing Li, Jialin Ji, Qianhao Wang, Huan Yu, Yu Pan, Fei Gao
 View PDF
Generating Sparse Probabilistic Graphs for Efficient Planning in Uncertain Environments
Yasmin Veys, Martina Stadler, Nicholas Roy
 View PDF
Optimal Control of Granular Material
Yuichiro Aoyama, Amin Haeri, Evangelos Theodorou
 View PDF
MASK4Former: Mask Transformer for 4D Panoptic Segmentation
Kadir Yilmaz, Jonas Schult, Alexey Nekrasov, Bastian Leibe
 View PDF
DMSA - Dense Multi Scan Adjustment for LiDAR Inertial Odometry and Global Optimization
David Skuddis, Norbert Haala
 View PDF
Touch-Based Manipulation with Multi-Fingered Robot using Off-policy RL and Temporal Contrastive Learning
Naoki Morihira, Pranav Deo, Manoj Bhadu, Akinobu Hayashi, Tadaaki Hasegawa, Satoshi Otsubo, Takayuki Osa
 View PDF
Towards Safe Robot Use with Edged or Pointed Objects: A Surrogate Study Assembling a Human Hand Injury Protection Database
Robin Jeanne Kirschner, Carina M. Micheler, Yangcan Zhou, Sebastian Julian Siegner, Mazin Hamad, Claudio Glowalla, Jan Neumann, Nader Rajaei, Rainer Burgkart, Sami Haddadin
 View PDF
Db-CBS: Discontinuity-Bounded Conflict-Based Search for Multi-Robot Kinodynamic Motion Planning
Akmaral Moldagalieva, Joaquim Ortiz-Haro, Marc Toussaint, Wolfgang Hoenig
 View PDF
Safe Planning in Dynamic Environments Using Conformal Prediction
Lars Lindemann, Matthew Cleaveland, GIHYUN SHIM, George J. Pappas
 View PDF
LiDAR-Based Online Control Barrier Function Synthesis for Safe Navigation in Unknown Environments
Shaghayegh Keyumarsi, Made Widhi Surya Atman, Azwirman Gusrialdi
 View PDF
On the Feasibility of EEG-Based Motor Intention Detection for Real-Time Robot Assistive Control
Ho Jin Choi, Satyajeet Das, Shaoting Peng, Ruzena Bajcsy, Nadia Figueroa
 View PDF
KINet: Unsupervised Forward Models for Robotic Pushing Manipulation
Alireza Rezazadeh, Changhyun Choi
 View PDF
Vision-Based Tip Force Estimation on a Soft Continuum Robot
Xingyu Chen, Jialei Shi, Helge Arne Wurdemann, Thomas George Thuruthel
 View PDF
MARC: Multipolicy and Risk-Aware Contingency Planning for Autonomous Driving
Tong Li, Lu Zhang, Sikang Liu, Shaojie Shen
 View PDF
Empirical Study of Ground Proximity Effects for Small-Scale Electroaerodynamic Thrusters
Grant Nations, Charles Luke Nelson, Daniel S. Drew
 View PDF
Risk-Predictive Planning for Off-Road Autonomy
Lukas Lao Beyer, Gilhyun Ryou, Patrick Spieler, Sertac Karaman
 View PDF
PROTAMP-RRT: A Probabilistic Integrated Task and Motion Planner Based on RRT
Alessio Saccuti, Riccardo Monica, Jacopo Aleotti
 View PDF
Constrained Hierarchical Monte Carlo Belief-State Planning
Arec Jamgochian, Hugo Buurmeijer, Kyle Wray, Anthony Corso, Mykel Kochenderfer
 View PDF
Spined Torso Renders Advanced Mobility for Quadrupedal Locomotion
Jichao Wang, Jinyu Cheng, Jiangtao Hu, Wei Gao, Shiwu Zhang
 View PDF
ExoRecovery: Push Recovery with a Lower-Limb Exoskeleton Based on Stepping Strategy
Zeynep Özge Orhan, Milad Shafiee, Vincent Juillard, Joel Coelho Oliveira, Auke Ijspeert, Mohamed Bouri
 View PDF
WeatherDepth: Curriculum Contrastive Learning for Self-Supervised Depth Estimation under Adverse Weather Conditions
JiYuan Wang, chunyu lin, Lang Nie, shujuan Huang, Xing Pan, Rui Ai, Yao Zhao
 View PDF
Dynamic Modeling of Wing-Assisted Inclined Running with a Morphing Multi-Modal Robot
Eric Sihite, Alireza Ramezani, Gharib Morteza
 View PDF
Pedipulate: Enabling Manipulation Skills Using a Quadruped Robot's Leg
Philip Arm, Mayank Mittal, Hendrik Kolvenbach, Marco Hutter
 View PDF
MOTPose: Multi-Object 6D Pose Estimation for Dynamic Video Sequences Using Attention-Based Temporal Fusion
Arul Selvam Periyasamy, Sven Behnke
 View PDF
Osiris: Building Hierarchical Representations for Agricultural Environments
Adam Mukuddem, Paul Amayo
 View PDF
Multi-Robot Informative Path Planning from Regression with Sparse Gaussian Processes
Kalvik Jakkala, Srinivas Akella
 View PDF
Running Guidance for Visually Impaired People Using Sensory Augmentation Technology Based Robotic System
Zhenyu Liao, Jose Victorio Salazar Luces, Ankit A. Ravankar, Yasuhisa Hirata
 View PDF
Close-Range Human Following Control on a Cane-Type Robot with Multi-Camera Fusion
Haowen Liu, Fengxian Wu, Bin Zhong, Yijun Zhao, Jiatong Zhang, Wenxin Niu, Mingming Zhang
 View PDF
A Surprisingly Efficient Representation for Multi-Finger Grasping
Hengxu Yan, Hao-Shu Fang, Cewu Lu
 View PDF
A Novel Metric for Detecting Quadrotor Loss-Of-Control
Jasper van Beers, Prashant Solanki, Coen de Visser
 View PDF
DeFlow: Decoder of Scene Flow Network in Autonomous Driving
Qingwen Zhang, Yi Yang, Heng Fang, RUOYU GENG, Patric Jensfelt
 View PDF
A Learning-Based Framework for Safe Human-Robot Collaboration with Multiple Backup Control Barrier Functions
Neil Janwani, Ersin Das, Thomas Touma, Skylar Wei, Tamas G. Molnar, Joel Burdick
 View PDF
Boosting Offline Reinforcement Learning for Autonomous Driving with Hierarchical Latent Skills
Zenan Li, Fan Nie, Qiao Sun, Fang Da, Hang Zhao
 View PDF
Task-Based Human-Robot Collaboration Control of Supernumerary Robotic Limbs for Overhead Tasks
Zhixin Tu, Yijun Fang, Yuquan Leng, Chenglong Fu
 View PDF
Improving the ROS 2 Navigation Stack with Real-Time Local Costmap Updates for Agricultural Applications
Ettore Sani, Antonio Sgorbissa, Stefano Carpin
 View PDF
RecNet: An Invertible Point Cloud Encoding through Range Image Embeddings for Multi-Robot Map Sharing and Reconstruction
Nikolaos Stathoulopoulos, Mario Alberto Valdes Saucedo, Anton Koval, George Nikolakopoulos
 View PDF
Breaking Data Silos: Cross-Domain Learning for Multi-Agent Perception from Independent Private Sources
Jinlong Li, Baolu Li, Xinyu Liu, Runsheng Xu, Jiaqi Ma, Hongkai Yu
 View PDF
Multi-LIO: A Lightweight Multiple LiDAR-Inertial Odometry System
Qi Chen, Guanghao Li, Xiangyang Xue, Jian Pu
 View PDF
A Hybrid Dynamical Model for Robotic Underwater Vehicles when Submerged or Surfaced: Approach and Preliminary Evaluation
James Hunt, Louis Whitcomb
 View PDF
Convolutional Vision Transformer As a Path Following Controller for Omnidirectional Robots
Sandesh Athni Hiremath, ChengYi Huang, Argtim Tika, Naim Bajcinca
 View PDF
Sensorized Soft Skin for Dexterous Robotic Hands
Jana Egli, Benedek Forrai, Thomas Jakob Konrad Buchner, Jiangtao Su, Xiaodong Chen, Robert Kevin Katzschmann
 View PDF
Lite-SVO: Towards a Lightweight Self-Supervised Semantic Visual Odometry Exploiting Multi-Feature Sharing Architecture
Wenhui Wei, Jiantao Li, Kaizhu Huang, Jiadong Li, Xin Liu, Yangfan Zhou
 View PDF
Learning Contact for Haptic Feedback: Switching X-Lateral Teleoperators
Nural Yilmaz, Ugur Tumerdem
 View PDF