Research Analyzer

ICRA 2023

1655 papers · 0 AI summaries · 2023

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
 View PDF
Joint Segmentation and Grasp Pose Detection with Multi-Modal Feature Fusion Network
Xiaozheng Liu, Yunzhou Zhang, He Cao, Shan Dexing, Jiaqi Zhao
 View 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
 View PDF
Safe Model-Based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks
Wenliang Liu, Mirai Duintjer Tebbens Nishioka, Calin Belta
 View PDF
S∗: On Safe and Time Efficient Robot Motion Planning
Riddhiman Laha, Wenxi Wu, Ruiai Sun, Nico Mansfeld, Luis Felipe Cruz Figueredo, Sami Haddadin
 View PDF
SDF-Based Graph Convolutional Q-Networks for Rearrangement of Multiple Objects
Hogun Kee, Minjae Kang, Dohyeong Kim, JaeGoo Choy, Songhwai Oh
 View PDF
One-Shot Reachability Analysis of Neural Network Dynamical Systems
Shaoru Chen, Victor Preciado, Mahyar Fazlyab
 View PDF
Connecting Gaits in Energetically Conservative Legged Systems
Maximilian Raff, Nelson Rosa, C. David Remy
 View PDF
Learning Decoupled Multi-touch Force Estimation, Localization and Stretch for Soft Capacitive E-skin
Abu Bakar Dawood, Claudio Coppola, Kaspar Althoefer
 View PDF
Occlusion Reasoning for Skeleton Extraction of Self-Occluded Tree Canopies
Chung Hee Kim, George Kantor
 View PDF
Learning Arm-Assisted Fall Damage Reduction and Recovery for Legged Mobile Manipulators
YUNTAO MA, Farbod Farshidian, Marco Hutter
 View PDF
Data-Driven Stochastic Motion Evaluation and Optimization with Image by Spatially-Aligned Temporal Encoding
Takeru Oba, Norimichi UKITA
 View PDF
Task-Space Clustering for Mobile Manipulator Task Sequencing
Quang-Nam Nguyen, Nicholas Adrian, Quang-Cuong Pham
 View 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
 View 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
 View PDF
Explainable Action Advising for Multi-Agent Reinforcement Learning
Yue Guo, Joseph Campbell, Simon Stepputtis, Ruiyu Li, Dana Hughes, Fei Fang, Katia Sycara
 View PDF
Autonomous Underwater Docking Using Flow State Estimation and Model Predictive Control
Rakesh Vivekanandan, Geoffrey Hollinger, Dongsik Chang
 View PDF
Proprioceptive Sensor-Based Simultaneous Multi-Contact Point Localization and Force Identification for Robotic Arms
SeoWook Han, Min Jun Kim
 View PDF
Robotic Rotational Positioning of End-Effectors for Micromanipulation
Zhuang, Songlin,Dai, Changsheng,Shan, Guanqiao,Ru, Changhai,Zhang, Zhuoran,Sun, Yu
 View PDF
Moment-Based Kalman Filter: Nonlinear Kalman Filtering with Exact Moment Propagation
Yutaka Shimizu, Ashkan M. Jasour, Maani Ghaffari, Shinpei Kato
 View 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
 View 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
 View PDF
Cross-Modal Monocular Localization in Prior LiDAR Maps Utilizing Semantic Consistency
Zhang Chi, Hengwang Zhao, Chunxiang Wang, Ming Yang
 View PDF
Identifying Contact Distance Uncertainty in Whisker Sensing with Tapered, Flexible Whiskers
Teresa Kent, Hannah Emnett, Mahnoush Babaei, Mitra Hartmann, Sarah Bergbreiter
 View PDF
STD-Trees: Spatio-Temporal Deformable Trees for Multirotors Kinodynamic Planning
Hongkai Ye, Chao Xu, Fei Gao
 View PDF
Information-Theoretic Abstraction of Semantic Octree Models for Integrated Perception and Planning
Daniel Larsson, Arash Asgharivaskasi, Jaein Lim, Nikolay Atanasov, Panagiotis Tsiotras
 View 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
 View PDF
SLAMER: Simultaneous Localization and Map-Assisted Environment Recognition
Naoki Akai
 View 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
 View 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
 View PDF
Emulating Human Kinematic Behavior on Lower-Limb Prostheses Via Multi-Contact Models and Force-Based Nonlinear Control
Rachel Gehlhar, Aaron Ames
 View PDF
Robot Person Following under Partial Occlusion
Hanjing Ye, Jieting Zhao, Yaling Pan, Weinan Chen, Li He, Hong Zhang
 View PDF
The Human Gaze Helps Robots Run Bravely and Efficiently in Crowds
Qianyi Zhang, Zhengxi Hu, Yinuo Song, Jiayi Pei, Jingtai Liu
 View 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
 View PDF
Conflict-Constrained Multi-Agent Reinforcement Learning Method for Parking Trajectory Planning
Siyuan Chen, Meiling Wang, Yi Yang, Wenjie Song
 View PDF
AvoidBench: A High-Fidelity Vision-Based Obstacle Avoidance Benchmarking Suite for Multi-Rotors
Hang Yu, Guido de Croon, Christophe De Wagter
 View PDF
Grey-Box Learning of Adaptive Manipulation Primitives for Robotic Assembly
Marco Braun, Sebastian Wrede
 View PDF
Using Memory-Based Learning to Solve Tasks with State-Action Constraints
Mrinal Verghese, Christopher Atkeson
 View PDF
Towards View-Invariant and Accurate Loop Detection Based on Scene Graph
Chuhao Liu, Shaojie Shen
 View PDF
On the Utility of Buffers in Pick-N-Swap Based Lattice Rearrangement
Kai Gao, Jingjin Yu
 View PDF
Using Learning Curve Predictions to Learn from Incorrect Feedback
Taylor Kessler Faulkner, Andrea Lockerd Thomaz
 View PDF
CDFI: Cross Domain Feature Interaction for Robust Bronchi Lumen Detection
Jiasheng Xu, Tianyi Zhang, Yangqian Wu, jie yang, Guang-Zhong Yang, Yun Gu
 View PDF
Model-Based Pose Estimation of Steerable Catheters under Bi-Plane Image Feedback
Jared Lawson, Rohan Chitale, Nabil Simaan
 View PDF
Leveraging Scene Embeddings for Gradient-Based Motion Planning in Latent Space
Jun Yamada, Chia-Man Hung, Jack Collins, Ioannis Havoutis, Ingmar Posner
 View PDF
Neural Optimal Control Using Learned System Dynamics
Kazim Selim Engin, Volkan Isler
 View 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
 View PDF
ASRO-DIO: Active Subspace Random Optimization Based Depth Inertial Odometry
Jiazhao Zhang, Yijie Tang, He Wang, Kai Xu
 View PDF
ORORA: Outlier-Robust Radar Odometry
HYUNGTAE LIM, Kawon Han, Gunhee Shin, Giseop Kim, Songcheol Hong, Hyun Myung
 View PDF
Traffic-Aware Autonomous Driving with Differentiable Traffic Simulation
Laura Zheng, Sanghyun Son, Ming C. Lin
 View PDF
Continuous-Time LiDAR-Inertial-Vehicle Odometry Method with Lateral Acceleration Constraint
Bin He, Weichen Dai, Zeyu Wan, Hong Zhang, Yu Zhang
 View PDF