Research Analyzer
← ICRA 2023

All Papers

1655 papers in this venue.

Clear
1648 result(s) for “Formal Methods in Robotics and Automation” Page 32 of 33
Title & Authors Actions
A New Robust Control Framework for Robot Manipulators without Velocity Measurements: A Modified Dual-Loop Control Scheme
Hae Yeon Park, Jung Hoon Kim
 PDF
Towards Robots That Influence Humans Over Long-Term Interaction
Shahabedin Sagheb, Ye-Ji Mun, Neema Ahmadian, Benjamin Christie, Andrea Bajcsy, Katherine Driggs-Campbell, Dylan Losey
 PDF
Automating Vascular Shunt Insertion with the dVRK Surgical Robot
Karthik Dharmarajan, William Panitch, Muyan Jiang, Kishore Srinivas, Baiyu Shi, Yahav Avigal, Huang Huang, Thomas Low, Danyal Fer, Ken Goldberg
 PDF
GSMR-CNN: An End-to-End Trainable Architecture for Grasping Target Objects from Multi-Object Scenes
Valerija Holomjova, Andrew Joe Starkey, Pascal Meißner
 PDF
Safety-Critical Controller Verification Via Sim2Real Gap Quantification
Prithvi Akella, Wyatt Ubellacker, Aaron Ames
 PDF
Speeding up Assembly Sequence Planning through Learning Removability Probabilities
Alexander Cebulla, Tamim Asfour, Torsten Kroeger
 PDF
Hybrid Half-Gaussian Selectively Adaptive Fuzzy Control of an Actuated Ankle Foot-Orthosis
Huiseok MOON, Roshni Maiti, Kaushik Das Sharma, Yacine Amirat, Patrick Siarry, Samer Mohammed
 PDF
Learning Robotic Cutting from Demonstration: Non-Holonomic DMPs Using the Udwadia-Kalaba Method
Arturas Straizys, Michael Burke, Subramanian Ramamoorthy
 PDF
Permanent-Magnetically Amplified Robotic Gripper with Less Clamping Width Influence on Compensation Realized by a Stepless Width Adjustment Mechanism
Tori Shimizu, Kenjiro Tadakuma, Masahiro Watanabe, Kazuki Abe, Masashi Konyo, Satoshi Tadokoro
 PDF
Safe Bipedal Path Planning via Control Barrier Functions for Polynomial Shape Obstacles Estimated Using Logistic Regression
Chengyang Peng, Octavian Donca, Guillermo Castillo, Ayonga Hereid
 PDF
Learning Tethered Perching for Aerial Robots
Fabian Hauf, Basaran Bahadir Kocer, Hai-Nguyen (Hann) Nguyen, Oscar Kwong Fai Pang, Ronald Clark, Edward Johns, Mirko Kovac
 PDF
Tree-Structured Policy Planning with Learned Behavior Models
Yuxiao Chen, Peter Karkus, Boris Ivanovic, Xinshuo Weng, Marco Pavone
 PDF
Biodegradable Origami Gripper Actuated with Gelatin Hydrogel for Aerial Sensor Attachment to Tree Branches
Christian Geckeler, Benito Armas Pizzani, Stefano Mintchev
 PDF
Broadband Sound Source Localization Via Non-Synchronous Measurements for Service Robots: A Tensor Completion Approach
Long Chen, Weize Sun, Lei Huang, Liang Yu
 PDF
Force/Torque Sensing for Soft Grippers Using an External Camera
Jeremy Collins, Patrick Grady, Charles C. Kemp
 PDF
Big Data Approach for Synthesizing a Spatial Linkage Mechanism
Neung Hwan Yim, Jegyeong Ryu, Yoon Young Kim
 PDF
DDS3D: Dense Pseudo-Labels with Dynamic Threshold for Semi-Supervised 3D Object Detection
Jingyu Li, Zhe Liu, Hou Jinghua, dingkang liang
 PDF
RGB-Only Reconstruction of Tabletop Scenes for Collision-Free Manipulator Control
Zhenggang Tang, Balakumar Sundaralingam, Jonathan Tremblay, Bowen Wen, Ye Yuan, Stephen Tyree, Charles Loop, Alexander Schwing, Stan Birchfield
 PDF
Uncertainty Guided Policy for Active Robotic 3D Reconstruction Using Neural Radiance Fields
Soomin Lee, Le Chen, Jiahao Wang, Alexander Liniger, Suryansh Kumar, Fisher Yu
 PDF
AeriaLPiPS: A Local Planner for Aerial Vehicles with Geometric Collision Checking
Justin Smith, Patricio Vela
 PDF
MRI-Powered Magnetic Miniature Capsule Robot with HIFU-Controlled On-Demand Drug Delivery
Mehmet Efe Tiryaki, Fatih Doğangün, Cem Balda DAYAN, Paul Wrede, Metin Sitti
 PDF
UDepth: Fast Monocular Depth Estimation for Visually-Guided Underwater Robots
Boxiao Yu, Jiayi Wu, Md Jahidul Islam
 PDF
Local Layer Splitting: An Additive Manufacturing Method to Define the Mechanical Properties of Soft Pneumatic Actuators During Fabrication
Brice Parilusyan, Marc Teyssier, Zacharie Guillaume, Thibault Charlet, Clément Duhart, Marcos Serrano
 PDF
A Non-Planar Assembly of Modular Tetrahedral-Shaped Aerial Robots
Obadah Wali, Mohamad T. Shahab, Eric Feron
 PDF
CogniDaVinci: Towards Estimating Mental Workload Modulated by Visual Delays During Telerobotic Surgery -- an EEG-Based Analysis
Satyam Kumar, Deland Hu Liu, Frigyes Samuel Racz, Manuel Retana, Susheela Sharma, Fumiaki Iwane, Braden Murphy, Rory O'Keeffe, S. Farokh Atashzar, Farshid Alambeigi, José del R. Millán
 PDF
Model Predictive Optimized Path Integral Strategies
Dylan Asmar, Ransalu Senanayake, Shawn Manuel, Mykel Kochenderfer
 PDF
Binarized P-Network: Deep Reinforcement Learning of Robot Control from Raw Images on FPGA
Yuki Kadokawa, Yoshihisa Tsurumine, Takamitsu Matsubara
 PDF
Nerf2nerf: Pairwise Registration of Neural Radiance Fields
Leili Goli, Daniel Rebain, Sara Sabour, Animesh Garg, Andrea Tagliasacchi
 PDF
A Gravity Compensation Strategy for On-Ground Validation of Orbital Manipulators
Marco De Stefano, Ria Vijayan, Andreas Stemmer, Ferdinand Elhardt, Christian Ott
 PDF
Kinematic Redundancy Analysis for (2n+1)R Circular Manipulators
Zijia Li, Mathias Brandstötter, Michael Hofbaur
 PDF
An Investigation on the Effect of Actuation Pattern on the Power Consumption of Legged Robots for Extraterrestrial Exploration
Yuan Hu, Weizhong Guo, Rongfu Lin
 PDF
Enabling Safe Walking Rehabilitation on the Exoskeleton Atalante: Experimental Results
Maxime BRUNET, Marine PETRIAUX, Florent Di Meglio, Nicolas PETIT
 PDF
Road Anomaly Segmentation Based on Pixel-Wise Logit Variance with Iterative Background Highlighting
Dongkun Lee, Han-Gyu Kim, Ho-Jin Choi
 PDF
A Reachability-Based Spatio-Temporal Sampling Strategy for Kinodynamic Motion Planning
Yongxing Tang, Zhanxia Zhu, Hongwen Zhang
 PDF
Topology Matching of Branched Deformable Linear Objects
Manuel Zürn, Markus Wnuk, Armin Lechler, Alexander Verl
 PDF
Robot-Assisted Eye-Hand Coordination Training System by Estimating Motion Direction Using Smooth-Pursuit Eye Movements
Xiao Li, Hong Zeng, Chenhua Yang, Aiguo Song
 PDF
Covariance Steering for Uncertain Contact-rich Systems
Yuki Shirai, Devesh Jha, Arvind Raghunathan
 PDF
Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications
Bohan Cui, Keyi Zhu, Shaoyuan Li, Xiang Yin
 PDF
Support Generation for Robot-Assisted 3D Printing with Curved Layers
Tianyu Zhang, Yuming Huang, Piotr Tomasz Kukulski, Neelotpal Dutta, Guoxin Fang, Charlie C.L. Wang
 PDF
A Real-Time Dynamic Obstacle Tracking and Mapping System for UAV Navigation and Collision Avoidance with an RGB-D Camera
Zhefan Xu, Xiaoyang Zhan, Baihan Chen, Yumeng Xiu, Chenhao Yang, Kenji Shimada
 PDF
LiDAR-SGM: Semi-Global Matching on LiDAR Point Clouds and Their Cost-Based Fusion into Stereo Matching
Bianca Forkel, Hans Joachim Joe Wuensche
 PDF
PredRecon: A Prediction-Boosted Planning Framework for Fast and High-Quality Autonomous Aerial Reconstruction
Chen Feng, Haojia Li, Fei Gao, Boyu Zhou, Shaojie Shen
 PDF
Vision-Aided UAV Navigation and Dynamic Obstacle Avoidance Using Gradient-Based B-Spline Trajectory Optimization
Zhefan Xu, Yumeng Xiu, Xiaoyang Zhan, Baihan Chen, Kenji Shimada
 PDF
Biomimetic Electric Sense Based Localization: A Solution for Small Underwater Robots in Large-Scale Environment
Junzheng Zheng,Jingxian Wang,Xin Guo,Chayutpon Huntrakul,Chen Wang,Guangming Xie
 PDF
PointCloudLab: An Environment for 3D Point Cloud Annotation with Adapted Visual Aids and Levels of Immersion
Achref Doula, Tobias Güdelhöfer, Andrii Matviienko, Max Mühlhäuser, Alejandro Sanchez Guinea
 PDF
General, Single-Shot, Target-Less, and Automatic LiDAR-Camera Extrinsic Calibration Toolbox
Kenji Koide, Shuji Oishi, Masashi Yokozuka, Atsuhiko Banno
 PDF
Reconfigurable Drone System for Transportation of Parcels with Variable Mass and Size
Fabrizio Schiano, Przemyslaw Mariusz Kornatowski, Leonardo Cencetti, Dario Floreano
 PDF
Towards a Finned-Swimming Exoskeleton: A Robotic Flutter Kicking Testbed and Its Corresponding Thrust Generation
Beau Johnson, Michael Goldfarb
 PDF
Coaxial Modular Aerial System and the Reconfiguration Applications
José Baca, Syed Izzat Ullah, Pablo Rangel
 PDF
Overload Clutch with Integrated Torque Sensing and Decoupling Detection for Collision Tolerant Hybrid High-Speed Industrial Cobots
Frederik Ostyn, Bram Vanderborght, Guillaume Crevecoeur
 PDF