Research Analyzer
← ICRA 2023

All Papers

1655 papers in this venue.

Clear
1648 result(s) for “Formal Methods in Robotics and Automation” Page 9 of 33
Title & Authors Actions
ALAN: Autonomously Exploring Robotic Agents in the Real World
Russell Mendonca, Shikhar Bahl, Deepak Pathak
 PDF
Joint Segmentation and Grasp Pose Detection with Multi-Modal Feature Fusion Network
Xiaozheng Liu, Yunzhou Zhang, He Cao, Shan Dexing, Jiaqi Zhao
 PDF
Risk-Aware Path Planning via Probabilistic Fusion of Traversability Prediction for Planetary Rovers on Heterogeneous Terrains
Masafumi Endo, Tatsunori Taniai, Ryo Yonetani, Genya Ishigami
 PDF
Safe Model-Based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks
Wenliang Liu, Mirai Duintjer Tebbens Nishioka, Calin Belta
 PDF
S∗: On Safe and Time Efficient Robot Motion Planning
Riddhiman Laha, Wenxi Wu, Ruiai Sun, Nico Mansfeld, Luis Felipe Cruz Figueredo, Sami Haddadin
 PDF
SDF-Based Graph Convolutional Q-Networks for Rearrangement of Multiple Objects
Hogun Kee, Minjae Kang, Dohyeong Kim, JaeGoo Choy, Songhwai Oh
 PDF
One-Shot Reachability Analysis of Neural Network Dynamical Systems
Shaoru Chen, Victor Preciado, Mahyar Fazlyab
 PDF
Connecting Gaits in Energetically Conservative Legged Systems
Maximilian Raff, Nelson Rosa, C. David Remy
 PDF
Learning Decoupled Multi-touch Force Estimation, Localization and Stretch for Soft Capacitive E-skin
Abu Bakar Dawood, Claudio Coppola, Kaspar Althoefer
 PDF
Occlusion Reasoning for Skeleton Extraction of Self-Occluded Tree Canopies
Chung Hee Kim, George Kantor
 PDF
Learning Arm-Assisted Fall Damage Reduction and Recovery for Legged Mobile Manipulators
YUNTAO MA, Farbod Farshidian, Marco Hutter
 PDF
Data-Driven Stochastic Motion Evaluation and Optimization with Image by Spatially-Aligned Temporal Encoding
Takeru Oba, Norimichi UKITA
 PDF
Task-Space Clustering for Mobile Manipulator Task Sequencing
Quang-Nam Nguyen, Nicholas Adrian, Quang-Cuong Pham
 PDF
Bidirectional Sim-To-Real Transfer for GelSight Tactile Sensors with CycleGAN
Weihang Chen, YUAN XU, Zhenyang Chen, Peiyu Zeng, Renjun Dang, Rui Chen, Jing Xu
 PDF
Learning to Estimate 3-D States of Deformable Linear Objects from Single-Frame Occluded Point Clouds
Kangchen Lv, Mingrui Yu, Yifan Pu, Xin Jiang, Gao Huang, Xiang LI
 PDF
Explainable Action Advising for Multi-Agent Reinforcement Learning
Yue Guo, Joseph Campbell, Simon Stepputtis, Ruiyu Li, Dana Hughes, Fei Fang, Katia Sycara
 PDF
Autonomous Underwater Docking Using Flow State Estimation and Model Predictive Control
Rakesh Vivekanandan, Geoffrey Hollinger, Dongsik Chang
 PDF
Proprioceptive Sensor-Based Simultaneous Multi-Contact Point Localization and Force Identification for Robotic Arms
SeoWook Han, Min Jun Kim
 PDF
Robotic Rotational Positioning of End-Effectors for Micromanipulation
Zhuang, Songlin,Dai, Changsheng,Shan, Guanqiao,Ru, Changhai,Zhang, Zhuoran,Sun, Yu
 PDF
Moment-Based Kalman Filter: Nonlinear Kalman Filtering with Exact Moment Propagation
Yutaka Shimizu, Ashkan M. Jasour, Maani Ghaffari, Shinpei Kato
 PDF
Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving under Static and Dynamic Obstacle Constraints
Rowan Dempster, Mohammad Alsharman, Derek Rayside, William Melek
 PDF
A Novel Platform to Control Biofouling in Pearl Oysters Cultivation
Van-Nhan Tran, Quan-Dung Pham, Tan-Sang Ha, Wong Yue Him, Sai-Kit Yeung
 PDF
Cross-Modal Monocular Localization in Prior LiDAR Maps Utilizing Semantic Consistency
Zhang Chi, Hengwang Zhao, Chunxiang Wang, Ming Yang
 PDF
Identifying Contact Distance Uncertainty in Whisker Sensing with Tapered, Flexible Whiskers
Teresa Kent, Hannah Emnett, Mahnoush Babaei, Mitra Hartmann, Sarah Bergbreiter
 PDF
STD-Trees: Spatio-Temporal Deformable Trees for Multirotors Kinodynamic Planning
Hongkai Ye, Chao Xu, Fei Gao
 PDF
Information-Theoretic Abstraction of Semantic Octree Models for Integrated Perception and Planning
Daniel Larsson, Arash Asgharivaskasi, Jaein Lim, Nikolay Atanasov, Panagiotis Tsiotras
 PDF
Fast and Scalable Signal Inference for Active Robotic Source Seeking
Christopher E. Denniston, Oriana Peltzer, Joshua Ott, Sangwoo Moon, Sung-Kyun Kim, Gaurav Sukhatme, Mykel Kochenderfer, Mac Schwager, Ali-akbar Agha-mohammadi
 PDF
SLAMER: Simultaneous Localization and Map-Assisted Environment Recognition
Naoki Akai
 PDF
Data-Driven Spectral Submanifold Reduction for Nonlinear Optimal Control of High-Dimensional Robots
John Irvin Alora, Mattia Cenedese, Edward Schmerling, George Haller, Marco Pavone
 PDF
Learning State Conditioned Linear Mappings for Low-Dimensional Control of Robotic Manipulators
Michael Przystupa, Kerrick Johnstonbaugh, Zichen Zhang, Laura Petrich, Masood Dehghan, Faezeh Haghverd, Martin Jagersand
 PDF
Emulating Human Kinematic Behavior on Lower-Limb Prostheses Via Multi-Contact Models and Force-Based Nonlinear Control
Rachel Gehlhar, Aaron Ames
 PDF
Robot Person Following under Partial Occlusion
Hanjing Ye, Jieting Zhao, Yaling Pan, Weinan Chen, Li He, Hong Zhang
 PDF
The Human Gaze Helps Robots Run Bravely and Efficiently in Crowds
Qianyi Zhang, Zhengxi Hu, Yinuo Song, Jiayi Pei, Jingtai Liu
 PDF
CFVS: Coarse-To-Fine Visual Servoing for 6-DoF Object-Agnostic Peg-In-Hole Assembly
Bo-Siang Lu, Tung-I Chen, Hsin-Ying Lee, Winston Hsu
 PDF
Conflict-Constrained Multi-Agent Reinforcement Learning Method for Parking Trajectory Planning
Siyuan Chen, Meiling Wang, Yi Yang, Wenjie Song
 PDF
AvoidBench: A High-Fidelity Vision-Based Obstacle Avoidance Benchmarking Suite for Multi-Rotors
Hang Yu, Guido de Croon, Christophe De Wagter
 PDF
Grey-Box Learning of Adaptive Manipulation Primitives for Robotic Assembly
Marco Braun, Sebastian Wrede
 PDF
Using Memory-Based Learning to Solve Tasks with State-Action Constraints
Mrinal Verghese, Christopher Atkeson
 PDF
Towards View-Invariant and Accurate Loop Detection Based on Scene Graph
Chuhao Liu, Shaojie Shen
 PDF
On the Utility of Buffers in Pick-N-Swap Based Lattice Rearrangement
Kai Gao, Jingjin Yu
 PDF
Using Learning Curve Predictions to Learn from Incorrect Feedback
Taylor Kessler Faulkner, Andrea Lockerd Thomaz
 PDF
CDFI: Cross Domain Feature Interaction for Robust Bronchi Lumen Detection
Jiasheng Xu, Tianyi Zhang, Yangqian Wu, jie yang, Guang-Zhong Yang, Yun Gu
 PDF
Model-Based Pose Estimation of Steerable Catheters under Bi-Plane Image Feedback
Jared Lawson, Rohan Chitale, Nabil Simaan
 PDF
Leveraging Scene Embeddings for Gradient-Based Motion Planning in Latent Space
Jun Yamada, Chia-Man Hung, Jack Collins, Ioannis Havoutis, Ingmar Posner
 PDF
Neural Optimal Control Using Learned System Dynamics
Kazim Selim Engin, Volkan Isler
 PDF
Fusing Event-Based Camera and Radar for SLAM Using Spiking Neural Networks with Continual STDP Learning
Ali Safa, Tim Verbelen, Ilja Ocket, André Bourdoux, Hichem Sahli, Francky Catthoor, Georges Gielen
 PDF
ASRO-DIO: Active Subspace Random Optimization Based Depth Inertial Odometry
Jiazhao Zhang, Yijie Tang, He Wang, Kai Xu
 PDF
ORORA: Outlier-Robust Radar Odometry
HYUNGTAE LIM, Kawon Han, Gunhee Shin, Giseop Kim, Songcheol Hong, Hyun Myung
 PDF
Traffic-Aware Autonomous Driving with Differentiable Traffic Simulation
Laura Zheng, Sanghyun Son, Ming C. Lin
 PDF
Continuous-Time LiDAR-Inertial-Vehicle Odometry Method with Lateral Acceleration Constraint
Bin He, Weichen Dai, Zeyu Wan, Hong Zhang, Yu Zhang
 PDF