Research Analyzer
← ICRA 2023

All Papers

1655 papers in this venue.

Clear
1648 result(s) for “Formal Methods in Robotics and Automation” Page 7 of 33
Title & Authors Actions
ViPFormer: Efficient Vision-and-Pointcloud Transformer for Unsupervised Pointcloud Understanding
Hongyu Sun, Yongcai Wang, Xudong Cai, Xuewei Bai, Deying Li
 PDF
Curriculum-Based Imitation of Versatile Skills
Maximilian Xiling Li, Onur Celik, Philipp Becker, Denis Blessing, Rudolf Lioutikov, Gerhard Neumann
 PDF
DynaVINS: A Visual-Inertial SLAM for Dynamic Environments
Seungwon Song, HYUNGTAE LIM, Alex Lee, Hyun Myung
 PDF
Direct Angular Rate Estimation without Event Motion-Compensation at High Angular Rates
Matthew Ng, Xinyu Cai, Shaohui Foong
 PDF
Deep Learning-Aided Synthetic Airspeed Estimation of UAVs for Analytical Redundancy with a Temporal Convolutional Network
HYUNGTAE LIM, Han-seok Ryu, Matthew Rhudy, Dongjin Lee, Dongjin Jang, Changho LEE, Youngmin Park, Wonkeun Youn, Hyun Myung
 PDF
SyreaNet: A Physically Guided Underwater Image Enhancement Framework Integrating Synthetic and Real Images
Junjie Wen, Jinqiang Cui, Zhenjun Zhao, Ruixin YAN, Zhi Gao, Lihua Dou, Ben M. Chen
 PDF
Contextual Multi-Objective Path Planning
Anna Nickelson, Kagan Tumer, William Smart
 PDF
Joint Semi-Supervised and Active Learning Via 3D Consistency for 3D Object Detection
Sihwan Hwang, Sanmin Kim, YoungSeok Kim, Dongsuk Kum
 PDF
Parameter Optimization for Manipulator Motion Planning Using a Novel Benchmark Set
Carl Gaebert, Sascha Kaden, Benjamin Fischer, Ulrike Thomas
 PDF
Image-Based Pose Estimation and Shape Reconstruction for Robot Manipulators and Soft, Continuum Robots via Differentiable Rendering
Jingpei Lu, FEI LIU, Cedric Girerd, Michael C. Yip
 PDF
Expert-Agnostic Ultrasound Image Quality Assessment Using Deep Variational Clustering
Deepak Raina, Dimitrios Ntentia, SH Chandrashekhara, Richard Voyles, Subir Kumar Saha
 PDF
TTCDist: Fast Distance Estimation from an Active Monocular Camera Using Time-To-Contact
Levi Burner, Nitin Sanket, Cornelia Fermuller, Yiannis Aloimonos
 PDF
MOFT: Monocular Odometry Based on Deep Depth and Careful Feature Selection and Tracking
Karlo Koledic;, Igor Cvi�ić, Ivan Markovic, Ivan Petrovic
 PDF
DFR-FastMOT: Detection Failure Resistant Tracker for Fast Multi-Object Tracking Based on Sensor Fusion
Mohamed Nagy, Majid Khonji, Jorge Dias, Sajid Javed
 PDF
Object Detection Using Sim2Real Domain Randomization for Robotic Applications
Horváth, Dániel,Erdos, Gábor,Istenes, Zoltán,Horvath, Tomas,Földi, Sándor
 PDF
Frontier Semantic Exploration for Visual Target Navigation
Bangguo Yu, Hamidreza Kasaei, Ming Cao
 PDF
A Comparative Study of Nonlinear MPC and Differential-Flatness-Based Control for Quadrotor Agile Flight
Sihao Sun, Angel Romero, Philipp Foehn, Elia Kaufmann, Davide Scaramuzza
 PDF
Unsupervised Road Anomaly Detection with Language Anchors
Beiwen Tian, Mingdao Liu, Huan-ang Gao, Pengfei Li, Hao Zhao, Guyue Zhou
 PDF
Rethinking Feature Extraction: Gradient-Based Localized Feature Extraction for End-To-End Surgical Downstream Tasks
Winnie Pang, Mobarakol Islam, Sai Mitheran Jagadesh Kumar, Lalithkumar Seenivasan, Mengya Xu, Hongliang Ren
 PDF
Learning from Demonstrations Via Multi-Level and Multi-Attention Domain-Adaptive Meta-Learning
Ziye Hu, Zhongxue Gan, Wei Li, Weikun Guo, Xiang Gao, Jiwei Zhu
 PDF
Interactive Object Segmentation in 3D Point Clouds
Theodora Kontogianni, Ekin Celikkan, Siyu Tang, Konrad Schindler
 PDF
Bidirectional Sampling-Based Motion Planning without Two-Point Boundary Value Solution
Sharan Nayak, Michael W. Otte
 PDF
Improving the Generalizability of Trajectory Prediction Models with Frenét-Based Domain Normalization
Luyao YE, Zikang Zhou, Jianping Wang
 PDF
RAMP-Net: A Robust Adaptive MPC for Quadrotors Via Physics-Informed Neural Network
Sourav Sanyal, Kaushik Roy
 PDF
StereoPose: Category-Level 6D Transparent Object Pose Estimation from Stereo Images Via Back-View NOCS
Kai Chen, Stephen James, Congying SUI, Yunhui Liu, Pieter Abbeel, Qi Dou
 PDF
Automated Action Evaluation for Robotic Imitation Learning Via Siamese Neural Networks
Xiang Chang, Fei Chao, Changjing Shang, Qiang Shen
 PDF
A Markov Chain Model for Workflow Analysis in Operating Rooms
Hanyi Zheng, Qing Wang, Jingshan Li
 PDF
Automatic Labeling to Generate Training Data for Online LiDAR-Based Moving Object Segmentation
Xieyuanli Chen, Benedikt Mersch, Lucas Nunes, Rodrigo Marcuzzi, Ignacio Vizzo, Jens Behley, Cyrill Stachniss
 PDF
PCGen: Point Cloud Generator for LiDAR Simulation
Chenqi Li, Yuan Ren, Bingbing Liu
 PDF
Global and Reactive Motion Generation with Geometric Fabric Command Sequences
Weiming Zhi, Iretiayo Akinola, Karl Van Wyk, Nathan Ratliff, Fabio Ramos
 PDF
Probabilistic Framework for Hand-Eye and Robot-World Calibration AX=YB
Ha, Junhyoung
 PDF
Advanced Manufacturing Configuration by Sample-Efficient Batch Bayesian Optimization
Xavier Guidetti, Alisa Rupenyan, Lutz Fassl, Majid Nabavi, John Lygeros
 PDF
Mono-STAR: Mono-Camera Scene-Level Tracking and Reconstruction
Haonan Chang, Dhruv Metha Ramesh, Shijie Geng, Yuqiu Gan, Abdeslam Boularias
 PDF
Clothes Grasping and Unfolding Based on RGB-D Semantic Segmentation
Xingyu Zhu, Xin Wang, Jonathan Freer, Hyung Jin Chang, Yixing Gao
 PDF
Dynamic Interactive Relation Capturing Via Scene Graph Learning for Robotic Surgical Report Generation
Hongqiu Wang, Yueming Jin, Lei Zhu
 PDF
Neural Implicit Surface Reconstruction Using Imaging Sonar
Mohamad Qadri, Michael Kaess, Ioannis Gkioulekas
 PDF
Generalized LOAM: LiDAR Odometry Estimation with Trainable Local Geometric Features
Kohei Honda, Kenji Koide, Masashi Yokozuka, Shuji Oishi, Atsuhiko Banno
 PDF
Two-Stage Grasping: A New Bin Picking Framework for Small Objects
Hanwen Cao, Jianshu Zhou, Rui Cao, Yichuan Li, Qi Dou, Yunhui Liu
 PDF
Constraint Manifolds for Robotic Inference and Planning
Yetong Zhang, Fan Jiang, Gerry Chen, Varun Agrawal, Adam Rutkowski, Frank Dellaert
 PDF
Semantics-aware Exploration and Inspection Path Planning
Mihir Rahul Dharmadhikari, Kostas Alexis
 PDF
A Continuous Off-Policy Reinforcement Learning Scheme for Optimal Motion Planning in Simply-Connected Workspaces
Panagiotis Rousseas, Charalampos Bechlioulis, Kostas Kyriakopoulos
 PDF
Deep Predictive Model Learning with Parametric Bias: Handling Modeling Difficulties and Temporal Model Changes
Kento Kawaharazuka, Kei Okada, Masayuki Inaba
 PDF
Chance-Constrained Iterative Linear-Quadratic Stochastic Games
Hai Zhong, Yutaka Shimizu, Jianyu Chen
 PDF
Learning and Blending Robot Hugging Behaviors in Time and Space
Drolet Michael, Joseph Campbell, Heni Ben Amor
 PDF
SceneCalib: Automatic Targetless Calibration of Cameras and Lidars in Autonomous Driving
Ayon Sen, Gang Pan, Anton Mitrokhin, Ashraful Islam
 PDF
Context-Aware Robot Control Using Gesture Episodes
Petr Vanc, Jan Kristof Behrens, Karla Stepanova
 PDF
Density-Aware NeRF Ensembles: Quantifying Predictive Uncertainty in Neural Radiance Fields
Niko Sünderhauf, Dimity Miller, Jad Abou-Chakra
 PDF
SoLo T-DIRL: Socially-Aware Dynamic Local Planner Based on Trajectory-Ranked Deep Inverse Reinforcement Learning
Yifan Xu, Theodor Chakhachiro, Tribhi Kathuria, Maani Ghaffari
 PDF
Learning Continuous Control Policies for Information-Theoretic Active Perception
Pengzhi Yang, YUHAN LIU, Shumon Koga, Arash Asgharivaskasi, Nikolay Atanasov
 PDF
Sparse-Dense Motion Modelling and Tracking for Manipulation without Prior Object Models
Christian Rauch, Ran Long, Vladimir Ivan, Sethu Vijayakumar
 PDF