ICRA 2023

1655 papers · 0 AI summaries · 2023

AI summary only

1648 result(s) for “Formal Methods in Robotics and Automation” Page 10 of 33

	Title & Authors	Actions
	Sigma-FP: Robot Mapping of 3D Floor Plans with an RGB-D Camera under Uncertainty Jose Luis Matez-Bandera, Javier Monroy, Javier Gonzalez-Jimenez	View PDF
Loading…
	Collision Detection and Contact Point Estimation Using Virtual Joint Torque Sensing Applied to a Cobot Dario Zurlo, Tom Heitmann, Merlin Morlock, Alessandro De Luca	View PDF
Loading…
	Incremental Few-Shot Object Detection Via Simple Fine-Tuning Approach Tae-Min Choi, Jong-Hwan Kim	View PDF
Loading…
	ConDA: Unsupervised Domain Adaptation for LiDAR Segmentation Via Regularized Domain Concatenation Lingdong Kong, Niamul Quader, Venice Erin Liong	View PDF
Loading…
	DC-MOT: Motion Deblurring and Compensation for Multi-Object Tracking in UAV Videos Song Cheng, Meibao Yao, Xueming Xiao	View PDF
Loading…
	The Reflectance Field Map: Mapping Glass and Specular Surfaces in Dynamic Environments Paul Foster, Collin Johnson, Benjamin Kuipers	View PDF
Loading…
	Open-Vocabulary, Queryable Scene Representations for Real World Planning Boyuan Chen, Fei Xia, Brian Ichter, Kanishka Rao, Keerthana Gopalakrishnan, Michael S. Ryoo, Austin Stone, Daniel Kappler	View PDF
Loading…
	Robust Imaging Sonar-Based Place Recognition and Localization in Underwater Environments Ho Gyun Kim, Kang Gilhwan, Seokhwan Jeong, Seungjun Ma, Younggun Cho	View PDF
Loading…
	Knowledge Distillation for Feature Extraction in Underwater VSLAM Jinghe Yang, Mingming Gong, Girish Nair, Jung Hoon Lee, Jason Monty, Ye Pu	View PDF
Loading…
	Multi-Robot 3D Gas Distribution Mapping: Coordination, Information Sharing and Environmental Knowledge Chiara Ercolani, Shashank Mahendra Deshmukh, Thomas Laurent Peeters, Alcherio Martinoli	View PDF
Loading…
	A Fluidic Actuator with an Internal Stiffening Structure Inspired by Mammalian Erectile Tissue Jan Fras, Kaspar Althoefer	View PDF
Loading…
	Robotic Method and Instrument to Efficiently Synthesize Faulty Conditions and Mass-Produce Faulty-Conditioned Data for Rotary Machines Yip Fun Yeung, Fangzhou Xia, Juliana Covarrubias, Furokawa Mikio, Hirano Takayuki, Kamal Youcef-Toumi	View PDF
Loading…
	METEOR: A Dense, Heterogeneous, and Unstructured Traffic Dataset with Rare Behaviors Rohan Chandra, Xijun Wang, Mridul Mahajan, Rahul Kala, Rishitha Palugulla, Chandrababu Naidu nallagopu, Alok Jain, Dinesh Manocha	View PDF
Loading…
	Risk-Aware Model Predictive Path Integral Control Using Conditional Value-At-Risk Ji Yin, Zhiyuan Zhang, Panagiotis Tsiotras	View PDF
Loading…
	One Training for Multiple Deployments: Polar-Based Adaptive BEV Perception for Autonomous Driving Huitong Yang, Xuyang BAI, Xinge Zhu, Yuexin Ma	View PDF
Loading…
	CuRobo: Parellelized Collision-Free Robot Motion Generation Balakumar Sundaralingam, Siva Kumar Sastry Hari, Adam Fishman, Caelan Garrett, Karl Van Wyk, Valts Blukis, Alexander James Millane, Helen Oleynikova, Ankur Handa, Fabio Ramos, Nathan Ratliff, Dieter Fox	View PDF
Loading…
	Unsupervised RGB-To-Thermal Domain Adaptation Via Multi-Domain Attention Network Lu Gan, Connor Lee, Soon-Jo Chung	View PDF
Loading…
	Bootstrapping the Dynamic Gait Controller of the Soft Robot Arm Rudolf Szadkowski, Muhammad Sunny Nazeer, Matteo Cianchetti, Egidio Falotico, Jan Faigl	View PDF
Loading…
	TransVisDrone: Spatio-Temporal Transformer for Vision-Based Drone-To-Drone Detection in Aerial Videos Tushar Bharat Sangam, Ishan Rajendrakumar Dave, Waqas Sultani, Mubarak Shah	View PDF
Loading…
	Intention Aware Robot Crowd Navigation with Attention-Based Interaction Graph Shuijing Liu, Peixin Chang, Zhe Huang, Neeloy Chakraborty, Kaiwen Hong, Weihang Liang, D. Livingston McPherson, Junyi Geng, Katherine Driggs-Campbell	View PDF
Loading…
	Active Inference for Autonomous Decision-Making with Contextual Multi-Armed Bandits Shohei Wakayama, Nisar Ahmed	View PDF
Loading…
	Robust Self-Tuning Data Association for Geo-Referencing Using Lane Markings Miguel Ãngel MuÃ±oz-BaÃ±Ã3n, Jan-Hendrik Pauls, Haohao Hu, Christoph Stiller, Francisco A. Candelas, Fernando Torres	View PDF
Loading…
	Task-Directed Exploration in Continuous POMDPs for Robotic Manipulation of Articulated Objects Aidan Curtis, Leslie Kaelbling, Siddarth Jain	View PDF
Loading…
	Efficient Learning of Locomotion Skills through the Discovery of Diverse Environmental Trajectory Generator Priors Shikha Surana, Bryan Wei Tern Lim, Antoine Cully	View PDF
Loading…
	Follow the Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains Jasmine Jerry Aloor, Jay Patrikar, Parv Kapoor, Jean Oh, Sebastian Scherer	View PDF
Loading…
	Sequence-Agnostic Multi-Object Navigation Gireesh Nandiraju, Ayush Agrawal, Ahana Datta, Snehasis Banerjee, Mohan Sridharan, Brojeshwar Bhowmick, Madhava Krishna	View PDF
Loading…
	Safety-Constrained Policy Transfer with Successor Features Zeyu Feng, Bowen Zhang, Jianxin Bi, Harold Soh	View PDF
Loading…
	Keypoint-GraspNet: Keypoint-Based 6-DoF Grasp Generation from the Monocular RGB-D Input Yiye Chen, Yunzhi Lin, Ruinian Xu, Patricio Vela	View PDF
Loading…
	DiffSRL: Learning Dynamical State Representation for Deformable Object Manipulation with Differentiable Simulation Sirui Chen, Yunhao Liu, Shang Wen Yao, Jialong LI, Tingxiang Fan, Jia Pan	View PDF
Loading…
	Monocular Simultaneous Localization and Mapping Using Ground Textures Kyle Hart, Brendan Englot, Ryan O'Shea, John Kelly, David Martinez	View PDF
Loading…
	Multi-Head Attention Machine Learning for Fault Classification in Mixed Autonomous and Human-Driven Vehicle Platoons Theodore Wu, Satvick Acharya, Abdelrahman Khalil, Ahmed AlJanaideh, Mohammad Al Janaideh, Deepa Kundur	View PDF
Loading…
	SGPT: The Secondary Path Guides the Primary Path in Transformers for HOI Detection sixian chan, Weixiang Wang, Zhanpeng Shao, Cong Bai	View PDF
Loading…
	Deep Learning Reactive Robotic Grasping with a Versatile Vacuum Gripper Zhang, Hui,Peeters, Jef,Demeester, Eric,Kellens, Karel	View PDF
Loading…
	GraspAda: Deep Grasp Adaptation through Domain Transfer Yiting Chen, Junnan Jiang, Ruiqi Lei, Yasemin Bekiroglu, Fei Chen, Miao Li	View PDF
Loading…
	Self-Supervised Learning of Object Segmentation from Unlabeled RGB-D Videos Shiyang Lu, Yunfu Deng, Abdeslam Boularias, Kostas E. Bekris	View PDF
Loading…
	MonoPGC: Monocular 3D Object Detection with Pixel Geometry Contexts Zizhang Wu, Yuanzhu Gan, Wang, Lei Robin, Guilian Chen, Jian Pu	View PDF
Loading…
	Robust Forecasting for Robotic Control: A Game-Theoretic Approach Shubhankar Agarwal, David Fridovich-Keil, Sandeep Chinchali	View PDF
Loading…
	TransDSSL: Transformer Based Depth Estimation Via Self-Supervised Learning DAECHAN HAN, JEONGMIN SHIN, Namil Kim, Soonmin Hwang, Yukyung Choi	View PDF
Loading…
	One-Shot Visual Imitation Via Attributed Waypoints and Demonstration Augmentation Matthew Chang, Saurabh Gupta	View PDF
Loading…
	RangedIK: An Optimization-based Robot Motion Generation Method for Ranged-Goal Tasks Yeping Wang, Pragathi Praveena, Daniel Rakita, Michael Gleicher	View PDF
Loading…
	Target-Aware Implicit Mapping for Agricultural Crop Inspection Shane Kelly, Alessandro Riccardi, Elias Ariel Marks, Federico Magistri, Tiziano Guadagnino, Margarita Chli, Cyrill Stachniss	View PDF
Loading…
	Vector Field Aided Trajectory Tracking by a 10-gram Flapping-Wing Micro Aerial Vehicle Abdoullah NDOYE, José de Jesús Castillo Zamora, Sabrine Samorah-Laki, Romain Miot, Edwin Van Ruymbeke, Franck Ruffier	View PDF
Loading…
	Reinforcement Learning with Probabilistically Safe Control Barrier Functions for Ramp Merging Soumith Udatha, Yiwei Lyu, John M. Dolan	View PDF
Loading…
	Scene-level Point Cloud Colorization with Semantics-and-geometry-aware Networks Rongrong Gao, Tian-Zhu Xiang, Chenyang LEI, Jaesik Park, Qifeng Chen	View PDF
Loading…
	Semantic Mapping with Confidence Scores through Metric Embeddings and Gaussian Process Classification Jungseok Hong, Suveer Garg, Volkan Isler	View PDF
Loading…
	Learning Agile Flight Maneuvers: Deep SE(3) Motion Planning and Control for Quadrotors Yixiao Wang, Bingheng Wang, Shenning Zhang, Han Wei Sia, Lin Zhao	View PDF
Loading…
	DiffCo: Auto-Differentiable Proxy Collision Detection with Multi-Class Labels for Safety-Aware Trajectory Optimization Yuheng Zhi, Nikhil Das, Michael C. Yip	View PDF
Loading…
	Risk-Aware Recharging Rendezvous for a Collaborative Team of UAVs and UGVs Ahmad Bilal Asghar, Guangyao Shi, Nare Karapetyan, James Humann, Jean-Paul Reddinger, James Dotterweich, Pratap Tokekar	View PDF
Loading…
	TransRSS: Transformer-Based Radar Semantic Segmentation Hao Zou, Harry Xie, Jiarong Ou, Gao Yutao	View PDF
Loading…
	A Global Max-Flow-Based Multi-Resolution Next-Best-View Method for Reconstruction of 3D Unknown Objects Pan, Sicong,Wei, Hui	View PDF
Loading…