Research Analyzer

ICRA 2024

2337 papers · 0 AI summaries · 2024

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 13 of 47
Title & Authors Actions
GS-PKNN: An Efficient and High-Fidelity Mobility Prediction Method for Unmanned Ground Vehicles
Chen Hua, Chunmao Jiang, Runxin Niu, Biao Yu, Hui Zhu, Bichun Li
 View PDF
Development of a 3-RRS Micromanipulator Based on Origami-Inspired Spherical Joint
haoqi han, Xiaoming LIU, Yan Chen, Hao Pang, Xiaoqing Tang, Dan Liu, Qiang Huang, Tatsuo Arai
 View PDF
Hierarchical Traffic Management of Multi-AGV Systems with Deadlock Prevention Applied to Industrial Environments
Federico Pratissoli, Riccardo Brugioni, Nicola Battilani, Lorenzo Sabattini
 View PDF
ASPIRe: An Informative Trajectory Planner with Mutual Information Approximation for Target Search and Tracking
Kangjie Zhou, Pengying Wu, Yao Su, Han Gao, Ji Ma, Hangxin Liu, Chang Liu
 View PDF
Bayesian Constraint Inference from User Demonstrations Based on Margin-Respecting Preference Models
Dimitris Papadimitriou, Daniel Brown
 View PDF
Looking beneath More: A Sequence-Based Localizing Ground Penetrating Radar Framework
Pengyu Zhang, Shuaifeng Zhi, yuelin yuan, Beizhen Bi, Qin Xin, Xiaotao Huang, Liang Shen
 View PDF
Weathering Ongoing Uncertainty: Learning and Planning in a Time-Varying Partially Observable Environment
Gokul Puthumanaillam, Xiangyu Liu, Negar Mehr, Melkior Ornik
 View PDF
ONeK-SLAM: A Robust Object-Level Dense SLAM Based on Joint Neural Radiance Fields and Keypoints
Yue Zhuge, Haiyong Luo, Runze Chen, Yushi Chen, Jiaquan Yan, Jiang Zhuqing
 View PDF
RO-MAP: Real-Time Multi-Object Mapping with Neural Radiance Fields
Xiao Han, Houxuan Liu, Yunchao Ding, Lu Yang
 View PDF
Non-Singular Fast Terminal Adaptive Visual Tracking Control with Reduced Tuning Parameters for an Aerial Vehicle under Perturbations
Gustavo Olivas-Martínez, Armando Miranda-Moya, Carlos Katt, Herman Castaneda
 View PDF
Enhancing Visual Place Recognition with Multi-Modal Features and Time-Constrained Graph Attention Aggregation
Zhuo Wang, Yunzhou Zhang, Xinge Zhao, Jian Ning, Dehao Zou, Meiqi Pei
 View PDF
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration
Jakob Thumm, Felix Trost, Matthias Althoff
 View PDF
FF-LOGO: Cross-Modality Point Cloud Registration with Feature Filtering and Local to Global Optimization
Nan Ma, Mohan Wang, Yiheng Han, Yong-Jin Liu
 View PDF
Active Visual Localization for Multi-Agent Collaboration: A Data-Driven Approach
Matthew Hanlon, Boyang Sun, Marc Pollefeys, Hermann Blum
 View PDF
Projection-Based Fast and Safe Policy Optimization for Reinforcement Learning
Shijun Lin, Hao Wang, Ziyang Chen, Zhen Kan
 View PDF
Robust 3D Object Detection from LiDAR-Radar Point Clouds Via Cross-Modal Feature Augmentation
Jianning Deng, King Wah Gabriel Chan, Hantao Zhong, Chris Xiaoxuan Lu
 View PDF
CARE: Confidence-Rich Autonomous Robot Exploration Using Bayesian Kernel Inference and Optimization
Yang Xu, Ronghao Zheng, Senlin Zhang, Meiqin Liu, Shoudong Huang
 View PDF
Multi-Level Reasoning for Robotic Assembly: From Sequence Inference to Contact Selection
Xinghao Zhu, Devesh Jha, Diego Romeres, Lingfeng Sun, Masayoshi Tomizuka, Anoop Cherian
 View PDF
VERSE: Virtual-Gradient Aware Streaming Lifelong Learning with Anytime Inference
Soumya Banerjee, Vinay Kumar Verma, Avideep Mukherjee, DEEPAK GUPTA, Vinay Namboodiri, Piyush Rai
 View PDF
Guided by the Way: The Role of On-The-Route Objects and Scene Text in Enhancing Outdoor Navigation
Yanjun Sun, YUE QIU, Yoshimitsu Aoki, Hirokatsu Kataoka
 View PDF
Longitudinal Control Volumes: A Novel Centralized Estimation and Control Framework for Distributed Multi-Agent Sorting Systems
James Maier, Prasanna Sriganesh, Matthew Travers
 View PDF
LLM-BT: Performing Robotic Adaptive Tasks Based on Large Language Models and Behavior Trees
Haotian Zhou, Yunhan Lin, Longwu Yan, Jihong Zhu, Huasong Min
 View PDF
Mean Shift Mask Transformer for Unseen Object Instance Segmentation
Yangxiao Lu, Yuqiao Chen, Nicholas Ruozzi, Yu Xiang
 View PDF
Conditionally Combining Robot Skills Using Large Language Models
K.R. Zentner, Ryan Julian, Brian Ichter, Gaurav Sukhatme
 View PDF
Improving Autonomous Driving Safety with POP: A Framework for Accurate Partially Observed Trajectory Predictions
Sheng WANG, Yingbing Chen, Jie CHENG, Xiaodong Mei, Ren XIN, yongkang song, Ming Liu
 View PDF
HR-APR: APR-Agnostic Framework with Uncertainty Estimation and Hierarchical Refinement for Camera Relocalisation
Changkun Liu, Shuai Chen, Yukun Zhao, Huajian Huang, Victor Prisacariu, Tristan Braud
 View PDF
Online Camera Orientation Calibration Aided by A High-Speed Ground-View Camera
Junzhe Su, Masahiro Hirano, Yuji Yamakawa
 View PDF
Rethinking Imitation-Based Planners for Autonomous Driving
Jie CHENG, Yingbing Chen, Xiaodong Mei, Bowen Yang, bo Li, Ming Liu
 View PDF
FT-Net: Learning Failure Recovery and Fault-Tolerant Locomotion for Quadruped Robots
Zeren Luo, Erdong Xiao, Peng Lu
 View PDF
RGBD-Based Image Goal Navigation with Pose Drift: A Topo-Metric Graph Based Approach
Shuhao Ye, Yuxiang Cui, Hao Sha, Sha Lu, Yu Zhang, Rong Xiong, Yue Wang
 View PDF
GroundGrid: LiDAR Point Cloud Ground Segmentation and Terrain Estimation
Nicolai Steinke, Daniel Goehring, Raul Rojas
 View PDF
Extremum-Seeking Action Selection for Accelerating Policy Optimization
Ya-Chien Chang, Sicun Gao
 View PDF
A Du-Octree Based Cross-Attention Model for LiDAR Geometry Compression
Mingyue Cui, Mingjian Feng, Junhua Long, Daosong Hu, Shuai Zhao, Kai Huang
 View PDF
Bio-Inspired Visual Relative Localization for Large Swarms of UAVs
Martin Krizek, Matous Vrba, Antonella Barisic, Stjepan Bogdan, Martin Saska
 View PDF
Soft Hand Extension Glove with Thumb Abduction and Extension Assistance
Disheng XIE, Yujie Su, XIANGQIAN SHI, Zheng Li, Kai Yu Tong
 View PDF
ATPPNet: Attention Based Temporal Point Cloud Prediction Network
Kaustab Pal, Aditya Sharma, Avinash Sharma, Madhava Krishna
 View PDF
LOTUS: Continual Imitation Learning for Robot Manipulation through Unsupervised Skill Discovery
Weikang Wan, Yifeng Zhu, Rutav Shah, Yuke Zhu
 View PDF
PoseFusion: Multi-Scale Keypoint Correspondence for Monocular Camera-To-Robot Pose Estimation in Robotic Manipulation
Xujun Han, Shaochen Wang, Xiucai Huang, Zhen Kan
 View PDF
Unifying Foundation Models with Quadrotor Control for Visual Tracking Beyond Object Categories
Alessandro Saviolo, Pratyaksh Rao, Vivek Radhakrishnan, Jiuhong Xiao, Giuseppe Loianno
 View PDF
Think, Act and Ask: Open-World Interactive Personalized Robot Navigation
Yinpei Dai, Run Peng, Sikai Li, Joyce Chai
 View PDF
Model Design and Concept of Operations of Standard Interface for On-Orbit Construction
Jingdong Zhao, Zirui Wang, Ziyi Liu, Liangliang Zhao, Qifan Duan, Hong Liu
 View PDF
Mastering Stacking of Diverse Shapes with Large-Scale Iterative Reinforcement Learning on Real Robots
Thomas Lampe, Abbas Abdolmaleki, Sandy H. Huang, Sarah Bechtle, Jost Tobias Springenberg, Michael Bloesch, Oliver Groth, Roland Hafner, Tim Hertweck, Michael Neunert, Markus Wulfmeier, Jingwei Zhang, Francesco Nori, Nicolas Heess, Martin Riedmiller
 View PDF
STOPNet: Multiview-Based 6-DoF Suction Detection for Transparent Objects on Production Lines
Yuxuan Kuang, Qin Han, Danshi Li, Qiyu Dai, Lian Ding, Dong Sun, Hanlin Zhao, He Wang
 View PDF
Distributed Multi-Robot Online Sampling with Budget Constraints
Azin Shamshirgaran, Sandeep Manjanna, Stefano Carpin
 View PDF
Improving Neural Indoor Surface Reconstruction with Mask-Guided Adaptive Consistency Constraints
Xinyi Yu, Liqin Lu, Rong Jintao, Guangkai Xu, Linlin Ou
 View PDF
Autonomous Apple Fruitlet Sizing with Next Best View Planning
Harry Freeman, George Kantor
 View PDF
TVFusionGAN: Thermal-Visible Image Fusion Based on Multi-Level Adversarial Network Strategy
Guoyu Lu
 View PDF
Modeling and Control of Intrinsically Elasticity Coupled Soft-Rigid Robots
Zachary Patterson, Cosimo Della Santina, Daniela Rus
 View PDF
Active Automotive Augmented Reality Displays Using Reinforcement Learning
Ju-Hyeok Ryu, Chan Kim, Seong-Woo Kim
 View PDF
Morphable-SfS: Enhancing Shape-from-Silhouette Via Morphable Modeling
Guoyu Lu
 View PDF