ICRA 2024

2337 papers · 0 AI summaries · 2024

AI summary only

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

	Title & Authors	Actions
	Generalizing Cooperative Eco-driving via Multi-residual Task Learning Vindula Jayawardana, Sirui Li, Cathy Wu, Yashar Farid, Kentaro Oguchi	View PDF
Loading…
	Visual Localization in Repetitive and Symmetric Indoor Parking Lots Using 3D Key Text Graph Joohyung Kim, Gunhee Koo, Heewon Park, Nakju Doh	View PDF
Loading…
	DefFusion: Deformable Multimodal Representation Fusion for 3D Semantic Segmentation Rongtao Xu, Changwei wang, Duzhen Zhang, Man Zhang, Shibiao Xu, Weiliang Meng, Xiaopeng Zhang	View PDF
Loading…
	RGB-Based Category-Level Object Pose Estimation Via Decoupled Metric Scale Recovery Jiaxin Wei, Xibin Song, Weizhe Liu, Laurent Kneip, Hongdong Li, Pan Ji	View PDF
Loading…
	Autonomous System for Tumor Resection (ASTR)-Dual-Arm Robotic Midline Partial Glossectomy Jiawei Ge, Michael Kam, Justin Opfermann, Hamed Saeidi, Simon Leonard, Leila Mady, Martin Schnermann, Axel Krieger	View PDF
Loading…
	Attentive Multimodal Fusion for Optical and Scene Flow Youjie Zhou, Guofeng Mei, Yiming Wang, Fabio Poiesi, Yi Wan	View PDF
Loading…
	SoftER: A Spiral Soft Robotic Ejector for Sorting Applications Ilias Zournatzis, Sotiris Kalaitzakis, Panagiotis Polygerinos	View PDF
Loading…
	Cycle-Correspondence Loss: Learning Dense View-Invariant Visual Features from Unlabeled and Unordered RGB Images David Benjamin Adrian, Andras Kupcsik, Markus Spies, Heiko Neumann	View PDF
Loading…
	Acoustic Soft Tactile Skin (AST Skin) S. Vishnu Rajendran, Willow Mandil, Kiyanoush Nazari, Simon Parsons, Amir Masoud Ghalamzan Esfahani	View PDF
Loading…
	SocialGAIL: Faithful Crowd Simulation for Social Robot Navigation Bo Ling, Yan Lyu, Dongxiao Li, Guanyu Gao, Yi Shi, Xueyong Xu, Weiwei Wu	View PDF
Loading…
	LiDAR-Camera Extrinsic Calibration with Hierachical and Iterative Feature Matching Xuzhong Hu, ZaiPeng Duan, Junfeng Ding, zhe zhang, Xiao Huang, Jie Ma	View PDF
Loading…
	MATRIX: Multi-Agent Trajectory Generation with Diverse Contexts Zhuo Xu, Rui Zhou, Yida Yin, Huidong Gao, Masayoshi Tomizuka, Jiachen Li	View PDF
Loading…
	LSSAttn: Towards Dense and Accurate View Transformation for Multi-Modal 3D Object Detection Qi Jiang, HAO SUN	View PDF
Loading…
	Safe POMDP Online Planning Via Shielding Shili Sheng, David Parker, Lu Feng	View PDF
Loading…
	Scene Informer: Anchor-Based Occlusion Inference and Trajectory Prediction in Partially Observable Environments Bernard Lange, Jiachen Li, Mykel Kochenderfer	View PDF
Loading…
	VERGNet: Visual Enhancement Guided Robotic Grasp Detection under Low-Light Condition Mingdi Niu, Zhenyu Lu, Lu Chen, Jing Yang, Chenguang Yang	View PDF
Loading…
	Fixture Calibration with Guaranteed Bounds from a Few Correspondence-Free Surface Points Rasmus Laurvig Haugaard, Yitaek Kim, Thorbjørn Mosekjær Iversen	View PDF
Loading…
	Time-Optimal Path Planning in a Constant Wind for Uncrewed Aerial Vehicles Using Dubins Set Classification Brady Moon, Sagar Sachdev, Junbin Yuan, Sebastian Scherer	View PDF
Loading…
	CppFlow: Generative Inverse Kinematics for Efficient and Robust Cartesian Path Planning Jeremy Morgan, David Millard, Gaurav Sukhatme	View PDF
Loading…
	RainbowSight: A Family of Generalizable, Curved, Camera-Based Tactile Sensors for Shape Reconstruction Megha Tippur, Edward Adelson	View PDF
Loading…
	NaviFormer: A Data-Driven Robot Navigation Approach Via Sequence Modeling and Path Planning with Safety Verification Xuyang Zhang, Ziyang Feng, Quecheng Qiu, Yu'an Chen, Bei Hua, Jianmin Ji	View PDF
Loading…
	HPF-SLAM: An Efficient Visual SLAM System Leveraging Hybrid Point Features Xin Su, Sebastian Eger, Adam Misik, Dong Yang, rastin pries, Eckehard Steinbach	View PDF
Loading…
	Predicting against the Flow: Boosting Source Localization by Means of Field Belief Modeling Using Upstream Source Proximity Finn Lukas Busch, Nathalie Bauschmann, Sami Haddadin, Robert Seifried, Daniel Andre Duecker	View PDF
Loading…
	IPC: Incremental Probabilistic Consensus-Based Consistent Set Maximization for SLAM Backends Emilio Olivastri, Alberto Pretto	View PDF
Loading…
	ROV6D: 6D Pose Estimation Benchmark Dataset for Underwater Remotely Operated Vehicles Jingyi Tang, Zeyu Chen, Bowen Fu, Wenjie Lu, Shengquan Li, Xiu Li, Xiangyang Ji	View PDF
Loading…
	AYDIV: Adaptable Yielding 3D Object Detection Via Integrated Contextual Vision Transformer Tanmoy Dam,Sanjay Bhargav Dharavath,Sameer Alam,Nimrod Lilith,Supriyo Chakraborty,Mir Feroskhan	View PDF
Loading…
	Fast Force-Closure Grasp Synthesis with Learning-Based Sampling Wei Xu, Weichao Guo, Xu Shi, Xinjun Sheng, Xiangyang Zhu	View PDF
Loading…
	Bi2Lane: Bi-Directional Temporal Refinement with Bi-Level Feature Aggregation for 3D Lane Detection Chengxin Li, Yihui Hu, Zewen Zheng, Xiang Gao, Yongqiang Mou, Peng Nie, Jun Li	View PDF
Loading…
	PCB-RandNet: Rethinking Random Sampling for LiDAR Semantic Segmentation in Autonomous Driving Scene Xian-Feng Han, Huixian Cheng, Hang Jiang, Dehong He, Guo-Qiang Xiao	View PDF
Loading…
	ASP-LED: Learning Ambiguity-Aware Structural Priors for Joint Low-Light Enhancement and Deblurring Jing Ye, Yang Liu, Congjing Yu, Changzhen Qiu, Zhiyong Zhang	View PDF
Loading…
	Semantic-Focused Patch Tokenizer with Multi-Branch Mixer for Visual Place Recognition Zhenyu Xu, Ren Ziliang, Qieshi Zhang, Lou Jie, Dacheng TAO, Jun Cheng	View PDF
Loading…
	Offline Goal-Conditioned Reinforcement Learning for Safety-Critical Tasks with Recovery Policy Chenyang Cao, Zichen Yan, Renhao Lu, Junbo Tan, xueqian WANG	View PDF
Loading…
	A Combination of a Controllable Clutch and an Oscillating Slider Crank Mechanism for Ease of Direct-Teaching with Various Payloads Muhammad Arifin, Yuta Kage, YUCHEN YANG, Alexander Schmitz, Shigeki Sugano	View PDF
Loading…
	Learning Terminal State of the Trajectory Planner: Application for Collision Scenarios of Autonomous Vehicles Joonhee Lim, Kibeom Lee, Dongsuk Kum	View PDF
Loading…
	Optimal Driver Warning Generation in Dynamic Driving Environment Chenran Li, Aolin Xu, Enna Sachdeva, Teruhisa Misu, Behzad Dariush	View PDF
Loading…
	TBD Pedestrian Data Collection: Towards Rich, Portable, and Large-Scale Natural Pedestrian Data Allan Wang, Daisuke Sato, Yasser Corzo, Sonya Simkin, Abhijat Biswas, Aaron Steinfeld	View PDF
Loading…
	Neural Rearrangement Planning for Object Retrieval from Confined Spaces Perceivable by Robot�s In-Hand RGB-D Sensor Hanwen Ren, Ahmed H. Qureshi	View PDF
Loading…
	A Novel, Efficient and Accurate Method for Lidar Camera Calibration Zhanhong Huang, Xiao Zhang, Antony Garcia, Xinming Huang	View PDF
Loading…
	AGRNav: Efficient and Energy-Saving Autonomous Navigation for Air-Ground Robots in Occlusion-Prone Environments Junming Wang, Zekai Sun, Xiuxian Guan, Tianxiang Shen, Zongyuan Zhang, Tianyang Duan, Dong Huang, Shixiong Zhao, Heming Cui	View PDF
Loading…
	MMA-Net: Multiple Morphology-Aware Network for Automated Cobb Angle Measurement Zhengxuan Qiu, Jie Yang, Jiankun Wang	View PDF
Loading…
	Cross Domain Policy Transfer with Effect Cycle-Consistency Ruiqi Zhu, Tianhong Dai, Oya Celiktutan	View PDF
Loading…
	Towards Learning-Based Planning: The nuPlan Benchmark for Real-World Autonomous Driving Napat Karnchanachari, Dimitris Geromichalos, Kok Seang Tan, Nanxiang Li, Christopher Eriksen, Shakiba Yaghoubi, Noushin Mehdipour, Gianmarco Bernasconi, Whye Kit Fong, Yiluan Guo, Holger Caesar	View PDF
Loading…
	RAPIDFlow: Recurrent Adaptable Pyramids with Iterative Decoding for Efficient Optical Flow Estimation Henrique Morimitsu, Zhu Xiaobin, Roberto Marcondes Cesar Junior, Xiangyang Ji, Xu-Cheng Yin	View PDF
Loading…
	An Efficient Solution to the 2D Visibility Problem in Cartesian Grid Maps and Its Application in Heuristic Path Planning Ibrahim Ibrahim, Joris Gillis, Wilm Decré, Jan Swevers	View PDF
Loading…
	Long-Tailed 3D Semantic Segmentation with Adaptive Weight Constraint and Sampling Jean Lahoud, Fahad Khan, Hisham Cholakkal, Rao Anwer, Salman Khan	View PDF
Loading…
	RISeg: Robot Interactive Object Segmentation Via Body Frame-Invariant Features Howard H. Qian, Yangxiao Lu, Kejia Ren, Gaotian Wang, Ninad Khargonkar, Yu Xiang, Kaiyu Hang	View PDF
Loading…
	CrackNex: A Few-Shot Low-Light Crack Segmentation Model Based on Retinex Theory for UAV Inspections Zhen Yao, Jiawei Xu, Shuhang Hou, Mooi Choo Chuah	View PDF
Loading…
	Colmap-PCD: An Open-Source Tool for Fine Image-To-Point Cloud Registration Chunge Bai, Ruijie Fu, Xiang Gao	View PDF
Loading…
	Policy Optimization by Looking Ahead for Model-Based Offline RL Yang Liu, Marius Hofert	View PDF
Loading…
	A Novel Hybrid Unsupervised Domain Adaptation Method for Cross-Subject Joint Angle Estimation from Surface Electromyography Long Wang, Xiaoling Li, Zhangyi Chen, Zhipeng Sun, Jingyi Xue, Shiwen Zhang, Wei Sun, Guimin Chen, Jiajia Sun	View PDF
Loading…