ICRA 2023

1655 papers · 0 AI summaries · 2023

AI summary only

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	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	GSMR-CNN: An End-to-End Trainable Architecture for Grasping Target Objects from Multi-Object Scenes Valerija Holomjova, Andrew Joe Starkey, Pascal MeiÃner	View PDF
Loading…
	Safety-Critical Controller Verification Via Sim2Real Gap Quantification Prithvi Akella, Wyatt Ubellacker, Aaron Ames	View PDF
Loading…
	Speeding up Assembly Sequence Planning through Learning Removability Probabilities Alexander Cebulla, Tamim Asfour, Torsten Kroeger	View PDF
Loading…
	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	View PDF
Loading…
	Learning Robotic Cutting from Demonstration: Non-Holonomic DMPs Using the Udwadia-Kalaba Method Arturas Straizys, Michael Burke, Subramanian Ramamoorthy	View PDF
Loading…
	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	View PDF
Loading…
	Safe Bipedal Path Planning via Control Barrier Functions for Polynomial Shape Obstacles Estimated Using Logistic Regression Chengyang Peng, Octavian Donca, Guillermo Castillo, Ayonga Hereid	View PDF
Loading…
	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	View PDF
Loading…
	Tree-Structured Policy Planning with Learned Behavior Models Yuxiao Chen, Peter Karkus, Boris Ivanovic, Xinshuo Weng, Marco Pavone	View PDF
Loading…
	Biodegradable Origami Gripper Actuated with Gelatin Hydrogel for Aerial Sensor Attachment to Tree Branches Christian Geckeler, Benito Armas Pizzani, Stefano Mintchev	View PDF
Loading…
	Broadband Sound Source Localization Via Non-Synchronous Measurements for Service Robots: A Tensor Completion Approach Long Chen, Weize Sun, Lei Huang, Liang Yu	View PDF
Loading…
	Force/Torque Sensing for Soft Grippers Using an External Camera Jeremy Collins, Patrick Grady, Charles C. Kemp	View PDF
Loading…
	Big Data Approach for Synthesizing a Spatial Linkage Mechanism Neung Hwan Yim, Jegyeong Ryu, Yoon Young Kim	View PDF
Loading…
	DDS3D: Dense Pseudo-Labels with Dynamic Threshold for Semi-Supervised 3D Object Detection Jingyu Li, Zhe Liu, Hou Jinghua, dingkang liang	View PDF
Loading…
	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	View PDF
Loading…
	Uncertainty Guided Policy for Active Robotic 3D Reconstruction Using Neural Radiance Fields Soomin Lee, Le Chen, Jiahao Wang, Alexander Liniger, Suryansh Kumar, Fisher Yu	View PDF
Loading…
	AeriaLPiPS: A Local Planner for Aerial Vehicles with Geometric Collision Checking Justin Smith, Patricio Vela	View PDF
Loading…
	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	View PDF
Loading…
	UDepth: Fast Monocular Depth Estimation for Visually-Guided Underwater Robots Boxiao Yu, Jiayi Wu, Md Jahidul Islam	View PDF
Loading…
	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	View PDF
Loading…
	A Non-Planar Assembly of Modular Tetrahedral-Shaped Aerial Robots Obadah Wali, Mohamad T. Shahab, Eric Feron	View PDF
Loading…
	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	View PDF
Loading…
	Model Predictive Optimized Path Integral Strategies Dylan Asmar, Ransalu Senanayake, Shawn Manuel, Mykel Kochenderfer	View PDF
Loading…
	Binarized P-Network: Deep Reinforcement Learning of Robot Control from Raw Images on FPGA Yuki Kadokawa, Yoshihisa Tsurumine, Takamitsu Matsubara	View PDF
Loading…
	Nerf2nerf: Pairwise Registration of Neural Radiance Fields Leili Goli, Daniel Rebain, Sara Sabour, Animesh Garg, Andrea Tagliasacchi	View PDF
Loading…
	A Gravity Compensation Strategy for On-Ground Validation of Orbital Manipulators Marco De Stefano, Ria Vijayan, Andreas Stemmer, Ferdinand Elhardt, Christian Ott	View PDF
Loading…
	Kinematic Redundancy Analysis for (2n+1)R Circular Manipulators Zijia Li, Mathias Brandstötter, Michael Hofbaur	View PDF
Loading…
	An Investigation on the Effect of Actuation Pattern on the Power Consumption of Legged Robots for Extraterrestrial Exploration Yuan Hu, Weizhong Guo, Rongfu Lin	View PDF
Loading…
	Enabling Safe Walking Rehabilitation on the Exoskeleton Atalante: Experimental Results Maxime BRUNET, Marine PETRIAUX, Florent Di Meglio, Nicolas PETIT	View PDF
Loading…
	Road Anomaly Segmentation Based on Pixel-Wise Logit Variance with Iterative Background Highlighting Dongkun Lee, Han-Gyu Kim, Ho-Jin Choi	View PDF
Loading…
	A Reachability-Based Spatio-Temporal Sampling Strategy for Kinodynamic Motion Planning Yongxing Tang, Zhanxia Zhu, Hongwen Zhang	View PDF
Loading…
	Topology Matching of Branched Deformable Linear Objects Manuel Zürn, Markus Wnuk, Armin Lechler, Alexander Verl	View PDF
Loading…
	Robot-Assisted Eye-Hand Coordination Training System by Estimating Motion Direction Using Smooth-Pursuit Eye Movements Xiao Li, Hong Zeng, Chenhua Yang, Aiguo Song	View PDF
Loading…
	Covariance Steering for Uncertain Contact-rich Systems Yuki Shirai, Devesh Jha, Arvind Raghunathan	View PDF
Loading…
	Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications Bohan Cui, Keyi Zhu, Shaoyuan Li, Xiang Yin	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	LiDAR-SGM: Semi-Global Matching on LiDAR Point Clouds and Their Cost-Based Fusion into Stereo Matching Bianca Forkel, Hans Joachim Joe Wuensche	View PDF
Loading…
	PredRecon: A Prediction-Boosted Planning Framework for Fast and High-Quality Autonomous Aerial Reconstruction Chen Feng, Haojia Li, Fei Gao, Boyu Zhou, Shaojie Shen	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	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	View PDF
Loading…
	General, Single-Shot, Target-Less, and Automatic LiDAR-Camera Extrinsic Calibration Toolbox Kenji Koide, Shuji Oishi, Masashi Yokozuka, Atsuhiko Banno	View PDF
Loading…
	Reconfigurable Drone System for Transportation of Parcels with Variable Mass and Size Fabrizio Schiano, Przemyslaw Mariusz Kornatowski, Leonardo Cencetti, Dario Floreano	View PDF
Loading…
	Towards a Finned-Swimming Exoskeleton: A Robotic Flutter Kicking Testbed and Its Corresponding Thrust Generation Beau Johnson, Michael Goldfarb	View PDF
Loading…
	Coaxial Modular Aerial System and the Reconfiguration Applications José Baca, Syed Izzat Ullah, Pablo Rangel	View PDF
Loading…
	Overload Clutch with Integrated Torque Sensing and Decoupling Detection for Collision Tolerant Hybrid High-Speed Industrial Cobots Frederik Ostyn, Bram Vanderborght, Guillaume Crevecoeur	View PDF
Loading…