Research Analyzer
← ICRA 2023

All Papers

1655 papers in this venue.

Clear
1648 result(s) for “Formal Methods in Robotics and Automation” Page 5 of 33
Title & Authors Actions
Discrete-Continuous Smoothing and Mapping
Kevin Doherty, Ziqi Lu, Kurran Singh, John Leonard
 PDF
Shape Tracking and Feedback Control of Cardiac Catheter Using MRI-Guided Robotic Platform - Validation with Pulmonary Vein Isolation Simulator in MRI
Dong, Ziyang,WANG, Xiaomei,Fang, Ge,He, Zhuoliang,Ho, Justin Di-Lang,Cheung, Chim Lee,Tang, Wai Lun,Xie, Xiaochen,Liang, Liyuan,Chang, Hing-Chiu,Ching, Chi Keong,Kwok, Ka-Wai
 PDF
Design and characterization of a low mechanical loss, high-resolution wearable strain gauge
Addison Liu, Oluwaseun Adelowo Araromi, Conor James Walsh, Robert Wood
 PDF
Humans Need Augmented Feedback to Physically Track Non-Biological Robot Movements
Mahdiar Edraki, Pauline Maurice, Dagmar Sternad
 PDF
CARE: Cooperation of AI-Robot Enablers to Create a Vibrant Society
Ankit A. Ravankar, Seyed Amir Tafrishi, Jose Victorio Salazar Luces, Fumi Seto, Yasuhisa Hirata
 PDF
DMMGAN: Diverse Multi Motion Prediction of 3D Human Joints Using Attention-Based Generative Adversarial Network
Payam Nikdel, Mohammad Mahdavian, Mo Chen
 PDF
D-Align: Dual Query Co-Attention Network for 3D Object Detection Based on Multi-Frame Point Cloud Sequence
Junhyung Lee, Junho Koh, Youngwoo Lee, Jun Won Choi
 PDF
A Virtual Reality Framework for Fast Dataset Creation Applied to Cloth Manipulation with Automatic Semantic Labelling
JÃolia Borrà s Sol, Arnau Boix-Granell, Sergi Foix, Carme Torras
 PDF
DeepSeeColor: Realtime Adaptive Color Correction for Autonomous Underwater Vehicles Via Deep Learning Methods
Stewart Jamieson, Jonathan How, Yogesh Girdhar
 PDF
Synthetic-To-Real Domain Adaptation for Action Recognition: A Dataset and Baseline Performances
Arun Reddy, Ketul Shah, William Paul, Rohita Mocharla, Judy Hoffman, Kapil Katyal, Dinesh Manocha, Celso de Melo, Rama Chellappa
 PDF
Puppeteer and Marionette: Learning Anticipatory Quadrupedal Locomotion Based on Interactions of a Central Pattern Generator and Supraspinal Drive
Milad Shafiee, Guillaume Bellegarda, Auke Ijspeert
 PDF
Computational Methods to Support Prototyping of an Adaptive Robot Joystick Controller for Children with Upper Limb Impairments
Melanie Jouaiti, Negin Azizi, Kerstin Dautenhahn
 PDF
EdgeVO: An Efficient, Accurate, and Robust Edge-Based Visual Odometry
Hui Zhao, Jianga Shang, Kai Liu, Chao Chen, Fuqiang Gu
 PDF
Improving Video Super-Resolution with Long-Term Self-Exemplars
Guotao Meng, Yue Wu, Qifeng Chen
 PDF
Fast and Robust Inverse Kinematics of Serial Robots Using Halley's Method
Lloyd, Steffan,Irani, Rishad,Ahmadi, Mojtaba
 PDF
Sim-To-Real: Learning Energy-Efficient Slithering Gaits for a Snake-Like Robot
Zhenshan Bing, Long Cheng, Kai Huang, Alois Knoll
 PDF
RLAfford: End-to-End Affordance Learning for Robotic Manipulation
Yiran Geng, boshi an, Haoran Geng, Yuanpei Chen, Yaodong Yang, Hao Dong
 PDF
Reinforcement Learning for Laser Welding Speed Control Minimizing Bead Width Error
Toshimitsu Kaneko, Gaku Minamoto, Yusuke Hirose, Tetsuo Sakai
 PDF
Conditional GANs for Sonar Image Filtering with Applications to Underwater Occupancy Mapping
Tianxiang Lin, Akshay Hinduja, Mohamad Qadri, Michael Kaess
 PDF
GMCR: Graph-Based Maximum Consensus Estimation for Point Cloud Registration
Michael Gentner, Prajval Kumar Murali, Mohsen Kaboli
 PDF
Optimal Grasps and Placements for Task and Motion Planning in Clutter
Carlos Quintero-Peña, Zachary Kingston, Tianyang Pan, Rahul Shome, Anastasios Kyrillidis, Lydia Kavraki
 PDF
Real-Time Solutions to Multimodal Partially Observable Dynamic Games
Oswin So, Paul Drews, Thomas Balch, Velin Dimitrov, Guy Rosman, Evangelos Theodorou
 PDF
CrossDTR: Cross-View and Depth-Guided Transformers for 3D Object Detection
Ching-Yu Tseng, Yi-Rong Chen, Hsin-Ying Lee, Tsung-Han Wu, Wen-chin Chen, Winston Hsu
 PDF
Locate before Segment: Topology-Guided Retinal Layer Segmentation in Optical Coherence Tomography Images
Ye LU, Yutian SHEN, Xiaohan Xing, Max Q.-H. Meng
 PDF
Image Masking for Robust Self-Supervised Monocular Depth Estimation
Hemang Chawla, Kishaan Jeeveswaran, Elahe Arani, Bahram Zonooz
 PDF
Boosting Performance of a Baseline Visual Place Recognition Technique by Predicting the Maximally Complementary Technique
Connor Malone, Stephen Hausler, Tobias Fischer, Michael J Milford
 PDF
BO-ICP: Initialization of Iterative Closest Point Based on Bayesian Optimization
Harel Biggie, Andrew Beathard, Christoffer Heckman
 PDF
Category-Level Global Camera Pose Estimation with Multi-Hypothesis Point Cloud Correspondences
Jun-Jee Chao, Kazim Selim Engin, Nicolai Häni, Volkan Isler
 PDF
Autonomous Drone Racing: Time-Optimal Spatial Iterative Learning Control within a Virtual Tube
Shuli Lv, Yan Gao, jiaxing Che, Quan Quan
 PDF
Multi-Objective Ergodic Search for Dynamic Information Maps
Ananya Rao, Abigail Breitfeld, Alberto Candela, Benjamin Jensen, David Wettergreen, Howie Choset
 PDF
E-VFIA : Event-Based Video Frame Interpolation with Attention
Onur Selim KILIC, Ahmet Akman, A. Alatan
 PDF
DAMS-LIO: A Degeneration-Aware and Modular Sensor-Fusion LiDAR-Inertial Odometry
Fuzhang Han, Han Zheng, Wenjun Huang, Rong Xiong, Yue Wang, Yanmei Jiao
 PDF
Deep Metric Learning for Visual Servoing: When Pose and Image Meet in Latent Space
Samuel Felton, Elisa Fromont, Eric Marchand
 PDF
On Locally Optimal Redundancy Resolution using the Basis of the Null Space
Eugenio Monari, Yi Chen, Rocco Vertechy
 PDF
Towards Robust Reference System for Autonomous Driving: Rethinking 3D MOT
LeiChen Wang, jiadi zhang, Pei Cai, Xinrun Li
 PDF
Gradient-Based Trajectory Optimization with Learned Dynamics
Bhavya Sukhija, Nathanael Köhler, Miguel Angel Zamora Mora, Simon Zimmermann, Sebastian Curi, Stelian Coros, Andreas Krause
 PDF
Design and Evaluation of an Augmented Reality Head-Mounted Display User Interface for Controlling Legged Manipulators
Rodrigo Chacon Quesada, Yiannis Demiris
 PDF
FG-Depth: Flow-Guided Unsupervised Monocular Depth Estimation
Junyu Zhu, Lina Liu, Yong Liu, wanlong li, Feng Wen, Hongbo Zhang
 PDF
SCARP: 3D Shape Completion in ARbitrary Poses for Improved Grasping
Bipasha Sen, Aditya Agarwal, Gaurav Singh, Brojeshwar Bhowmick, Srinath Sridhar, Madhava Krishna
 PDF
Sample, Crop, Track: Self-Supervised Mobile 3D Object Detection for Urban Driving LiDAR
Sangyun Shin, Stuart Golodetz, Madhu Vankadari, zhou kaichen, Andrew Markham, Niki Trigoni
 PDF
SLAMesh: Real-time LiDAR Simultaneous Localization and Meshing
Jianyuan Ruan, Bo Li, Yibo WANG, Yuxiang Sun
 PDF
Cost-Aware Evaluation and Model Scaling for LiDAR-Based 3D Object Detection
Xiaofang Wang, Kris Kitani
 PDF
D2CoPlan: A Differentiable Decentralized Planner for Multi-Robot Coverage
Vishnu Sharma, Lifeng Zhou, Pratap Tokekar
 PDF
Non-Minimal Solvers for Relative Pose Estimation with a Known Relative Rotation Angle
Deshun Hu
 PDF
Benchmarking Reinforcement Learning Techniques for Autonomous Navigation
Zifan Xu, Bo Liu, Xuesu Xiao, Anirudh Nair, Peter Stone
 PDF
Analysing the Safety and Security of a UV-C Disinfection Robot
Desiana Nurchalifah, Sebastian Blumenthal, Luigi Lo Iacono, Nico Hochgeschwender
 PDF
LODE: Locally Conditioned Eikonal Implicit Scene Completion from Sparse LiDAR
Pengfei Li, Ruowen Zhao, Yongliang Shi, Hao Zhao, Jirui Yuan, Guyue Zhou, Ya-Qin Zhang
 PDF
Convolutional Bayesian Kernel Inference for 3D Semantic Mapping
Joseph Wilson, Yuewei Fu, Arthur Zhang, Jingyu Song, Andrew Capodieci, Paramsothy Jayakumar, Kira Barton, Maani Ghaffari
 PDF
Source-Free Unsupervised Domain Adaptation for 3D Object Detection in Adverse Weather
Deepti Hegde, Velat Kilic, Vishwanath Sindagi, A. Brinton Cooper, Mark Foster, Vishal M. Patel
 PDF
Robust Incremental Smoothing and Mapping (riSAM)
Daniel McGann, John G. Rogers III, Michael Kaess
 PDF