Research Analyzer
← ICRA 2024

All Papers

2337 papers in this venue.

Clear
2325 result(s) for “Formal Methods in Robotics and Automation” Page 3 of 47
Title & Authors Actions
Continuous Robotic Tracking of Dynamic Targets in Complex Environments Based on Detectability
Zhihao Wang, Shixing Huang, Minghang Li, Junyuan Ouyang, Yu Wang, Haoyao Chen
 PDF
Multimodal Visual-Tactile Representation Learning through Self-Supervised Contrastive Pre-Training
Vedant Dave, Fotios Lygerakis, Elmar Rueckert
 PDF
Approximating Robot Configuration Spaces with Few Convex Sets Using Clique Covers of Visibility Graphs
Peter Werner, Alexandre Amice, Tobia Marcucci, Daniela Rus, Russ Tedrake
 PDF
Jacquard V2: Refining Datasets Using the Human in the Loop Data Correction Method
Qiuhao Li, Shenghai Yuan
 PDF
SceneReplica: Benchmarking Real-World Robot Manipulation by Creating Replicable Scenes
Ninad Khargonkar, Sai Haneesh Allu, Yangxiao Lu, Jishnu Jaykumar P, B Prabhakaran, Yu Xiang
 PDF
Spectral Geometric Verification: Re-Ranking Point Cloud Retrieval for Metric Localization
Kavisha Vidanapathirana, Peyman Moghadam, Sridha Sridharan, Clinton Fookes
 PDF
FC-Planner: A Skeleton-Guided Planning Framework for Fast Aerial Coverage of Complex 3D Scenes
Chen Feng, Haojia Li, Xinyi Chen, Boyu Zhou, Shaojie Shen
 PDF
Environmental Awareness Dynamic 5G QoS for Retaining Real Time Constraints in Robotic Applications
Gerasimos Damigos, Akshit Saradagi, Sara Sandberg, George Nikolakopoulos
 PDF
Open-Fusion: Real-Time Open-Vocabulary 3D Mapping and Queryable Scene Representation
Kashu Yamazaki, Taisei Hanyu, Khoa Vo, Trong Thang Pham, Tran Minh, Gianfranco Doretto, Anh Nguyen, Ngan Le
 PDF
HERO-SLAM: Hybrid Enhanced Robust Optimization of Neural SLAM
Zhe Xin, Yufeng Yue, Liangjun Zhang, Chenming Wu
 PDF
Learning Continuous Control with Geometric Regularity from Robot Intrinsic Symmetry
Shengchao Yan, Baohe Zhang, Yuan Zhang, Joschka Boedecker, Wolfram Burgard
 PDF
PlaceNav: Topological Navigation through Place Recognition
Lauri Aleksanteri Suomela, Jussi Oskari Kalliola, Harry Edelman, Joni-Kristian Kamarainen
 PDF
Statler: State-Maintaining Language Models for Embodied Reasoning
Takuma Yoneda, Jiading Fang, Peng Li, Huanyu Zhang, Tianchong Jiang, Shengjie Lin, Benjamin Picker, David Yunis, Hongyuan Mei, Matthew Walter
 PDF
CITR: A Coordinate-Invariant Task Representation for Robotic Manipulation
Peter So, Rafael Ignacio Cabral Muchacho, Robin Jeanne Kirschner, Abdalla Swikir, Luis Figueredo, Fares Abu-Dakka, Sami Haddadin
 PDF
A Convex Formulation of Frictional Contact between Rigid and Deformable Bodies
Xuchen Han, Joseph Masterjohn, Alejandro Castro
 PDF
FocoTrack: Multi Object Tracking by Focusing on Overlap at Low Frame Rate
Jae-Hyeok Lee, Jae-Hyeon Park, Dong Eui Chang
 PDF
CARTIER: Cartographic lAnguage Reasoning Targeted at Instruction Execution for Robots
Dmitriy Rivkin, Nikhil Rajiv Kakodkar, Francois Hogan, Bobak Hamed Baghi, Gregory Dudek
 PDF
Design of a Fully Pulley-Guided Wire-Driven Prismatic Tensegrity Robot: Friction Impact to Robot Payload Capacity
Azamat Yeshmukhametov, Koichi Koganezawa
 PDF
Toward the Use of Proxies for Efficient Learning Manipulation and Locomotion Strategies on Soft Robots
Etienne Ménager, Quentin Peyron, Christian Duriez
 PDF
Symmetry Considerations for Learning Task Symmetric Robot Policies
Mayank Mittal, Nikita Rudin, Victor Klemm, Arthur Allshire, Marco Hutter
 PDF
CVAE-SM: A Conditional Variational Autoencoder with Style Modulation for Efficient Uncertainty Quantification
Amin Ullah, Taiqing Yan, Li Fuxin
 PDF
Pose-Graph Attentional Graph Neural Network for Lidar Place Recognition
Milad Ramezani, Liang Wang, Joshua Barton Knights, Zhibin Li, Pauline Pounds, Peyman Moghadam
 PDF
N-QR: Natural Quick Response Codes for Multi-Robot Instance Correspondence
Nathaniel Glaser, Rajashree Ravi, Zsolt Kira
 PDF
Towards Large-Scale Incremental Dense Mapping Using Robot-Centric Implicit Neural Representation
Jianheng Liu, Haoyao Chen
 PDF
Introducing CEA-IMSOLD: An Industrial Multi-Scale Object Localization Dataset
Boris Meden, Emanuel Pablo VEGA, Fabrice Mayran de Chamisso, STEVE BOURGEOIS
 PDF
Diffusion-Based Point Cloud Super-Resolution for mmWave Radar Data
kai luan, Chenghao Shi, Neng Wang, Yuwei Cheng, Huimin Lu, Xieyuanli Chen
 PDF
NeRF-VINS: A Real-Time Neural Radiance Field Map-Based Visual-Inertial Navigation System
Saimouli Katragadda, Woosik Lee, Yuxiang Peng, Patrick Geneva, Chuchu Chen, Chao Guo, Mingyang Li, Guoquan Huang
 PDF
EasyHeC: Accurate and Automatic Hand-Eye Calibration Via Differentiable Rendering and Space Exploration
Linghao Chen, Yuzhe Qin, Xiaowei Zhou, Hao Su
 PDF
3QFP: Efficient Neural Implicit Surface Reconstruction Using Tri-Quadtrees and Fourier Feature Positional Encoding
Shuo Sun, Malcolm Mielle, Achim J. Lilienthal, Martin Magnusson
 PDF
Learning to Estimate Incipient Slip with Tactile Sensing to Gently Grasp Objects
Dirk-Jan Boonstra, Laurence Willemet, Jelle Douwe Luijkx, Michael Wiertlewski
 PDF
Learning Fabric Manipulation in the Real World with Human Videos
Robert Lee, Jad Abou-Chakra, Fangyi Zhang, Peter Corke
 PDF
X-Tacformer : Spatio-Tempral Attention Model for Tactile Recognition
Jiarui Hu, yanmin Zhou, Zhipeng Wang, xin Li, Yongkang Jiang, Bin He
 PDF
SERL: A Software Suite for Sample-Efficient Robotic Reinforcement Learning
Jianlan Luo, Zheyuan Hu, Charles Xu, You Liang Tan, Jacob Herman Berg, Archit Sharma, Stefan Schaal, Chelsea Finn, Abhishek Gupta, Sergey Levine
 PDF
Do We Run Large-Scale Multi-Robot Systems on the Edge? More Evidence for Two-Phase Performance in System Size Scaling
Jonas Kuckling, Robin Luckey, Viktor Avrutin, Andrew Vardy, Andreagiovanni Reina, Heiko Hamann
 PDF
Generalizable Thermal-Based Depth Estimation Via Pre-Trained Visual Foundation Model
Ruoyu Fan, Wang Zhao, Matthieu Lin, Qi Wang, Yong-Jin Liu, Wenping Wang
 PDF
RoboKeyGen: Robot Pose and Joint Angles Estimation Via Diffusion-Based 3D Keypoint Generation
Yang Tian, Jiyao Zhang, Guowei Huang, Bin Wang, Ping Wang, Jiangmiao Pang, Hao Dong
 PDF
Physics-Informed Neural Network for Multirotor Slung Load Systems Modeling
Gil Serrano, Marcelo Jacinto, Jose Ribeiro-Gomes, Joao Pinto, Bruno J. N. Guerreiro, Alexandre Bernardino, Rita Cunha
 PDF
Tree Instance Segmentation and Traits Estimation for Forestry Environments Exploiting LiDAR Data Collected by Mobile Robots
Meher Venkata Ramakrishna Malladi, Tiziano Guadagnino, Luca Lobefaro, Matias Mattamala, Holger Griess, Janine Schweier, Nived Chebrolu, Maurice Fallon, Jens Behley, Cyrill Stachniss
 PDF
H2-Mapping: Real-Time Dense Mapping Using Hierarchical Hybrid Representation
Chenxing Jiang, Hanwen Zhang, Peize LIU, Zehuan Yu, Hui Cheng, Boyu Zhou, Shaojie Shen
 PDF
Efficient Hybrid Neuromorphic-Bayesian Model for Olfaction Sensing: Detection and Classification
Rizwana Kausar, Fakhreddine Zayer, Jaime Viegas, Jorge Dias
 PDF
SCRNet: A Retinex Structure-Based Low-Light Enhancement Model Guided by Spatial Consistency
miao zhang, Yiqing Shen, Shenghui Zhong, Guofeng Pan, Shuai Lu
 PDF
Morphobot: A Platform for Morphogenesis in Robot Swarm
Xiaoyang Qin, Yongliang Yang, Mengyun Pan, Long Cui, Lianqing Liu
 PDF
Continuously Estimate and Control Prosthetic Grip Force by an Optical Waveguide Sensor
Linhang Ju, Hanze Jia, Yanjun Shi, Xilun Ding, Yanggang Feng, Wuxiang Zhang
 PDF
Robot-Dependent Traversability Estimation for Outdoor Environments Using Deep Multimodal Variational Autoencoders
Matthias Eder, Gerald Steinbauer-Wagner
 PDF
Standardization of Cloth Objects and its Relevance in Robotic Manipulation
Irene Garcia-Camacho, Alberta Longhini, Michael C. Welle, Guillem Alenyà , Danica Kragic, JÃolia Borrà s Sol
 PDF
Contact Force Estimation of Robot Manipulators with Imperfect Dynamic Model: On Gaussian Process Adaptive Disturbance Kalman Filter
Yanran Wei, Shangke Lyu, wenshuo li, Xiang Yu, Lei Guo
 PDF
RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles
David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Robert Hallyburton, Tingjun Chen, Miroslav Pajic
 PDF
OpenBot-Fleet: A System for Collective Learning with Real Robots
Matthias Müller, Samarth Manoj Brahmbhatt, Ankur Deka, Quentin Leboutet, David Hafner, Vladlen Koltun
 PDF
Contrastive Learning for Enhancing Robust Scene Transfer in Vision-Based Agile Flight
Jiaxu Xing, Leonard Bauersfeld, Yunlong Song, Chunwei Xing, Davide Scaramuzza
 PDF
NeRF-Loc: Transformer-Based Object Localization within Neural Radiance Fields
Jiankai Sun, Yan Xu, Mingyu Ding, Hongwei Yi, Chen Wang, Jingdong Wang, Liangjun Zhang, Mac Schwager
 PDF