Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Zhe Xu

Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems


Oct 11, 2021
Christos K. Verginis, Zhe Xu, Ufuk Topcu

* arXiv admin note: text overlap with arXiv:2106.13498 

  Access Paper or Ask Questions

Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning


Oct 06, 2021
Ren Wang, Zhe Xu, Alfred Hero


  Access Paper or Ask Questions

Decentralized Graph-Based Multi-Agent Reinforcement Learning Using Reward Machines


Sep 30, 2021
Jueming Hu, Zhe Xu, Weichang Wang, Guannan Qu, Yutian Pang, Yongming Liu


  Access Paper or Ask Questions

All-Around Real Label Supervision: Cyclic Prototype Consistency Learning for Semi-supervised Medical Image Segmentation


Sep 28, 2021
Zhe Xu, Yixin Wang, Donghuan Lu, Lequan Yu, Jiangpeng Yan, Jie Luo, Kai Ma, Yefeng Zheng, Raymond Kai-yu Tong

* 10 pages, under review in trans journal 

  Access Paper or Ask Questions

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks


Sep 16, 2021
Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu

* 6 pages, 1 figure, 1 table 

  Access Paper or Ask Questions

Double-Uncertainty Assisted Spatial and Temporal Regularization Weighting for Learning-based Registration


Jul 15, 2021
Zhe Xu, Jie Luo, Donghuan Lu, Jiangpeng Yan, Jayender Jagadeesan, William Wells III, Sarah Frisken, Kai Ma, Yefeng Zheng, Raymond Kai-yu Tong

* 11 pages, version 1 

  Access Paper or Ask Questions

Non-Parametric Neuro-Adaptive Control Subject to Task Specifications


Jun 25, 2021
Christos K. Verginis, Zhe Xu, Ufuk Topcu


  Access Paper or Ask Questions

A Deep Value-network Based Approach for Multi-Driver Order Dispatching


Jun 08, 2021
Xiaocheng Tang, Zhiwei Qin, Fan Zhang, Zhaodong Wang, Zhe Xu, Yintai Ma, Hongtu Zhu, Jieping Ye

* KDD 2019 Oral 

  Access Paper or Ask Questions

Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation


Jun 03, 2021
Zhe Xu, Donghuan Lu, Yixin Wang, Jie Luo, Jayender Jagadeesan, Kai Ma, Yefeng Zheng, Xiu Li

* 11 pages, to appear in MICCAI 2021 

  Access Paper or Ask Questions

Uncertainty-Aware Signal Temporal Logic Inference


May 30, 2021
Nasim Baharisangari, Jean-Raphaƫl Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

* 11 pages, 7 figures, 2 tables 

  Access Paper or Ask Questions

Uncertainty-Aware Signal Temporal logic


May 24, 2021
Nasim Baharisangari, Jean-Raphaƫl Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

* 11 pages, 7 figures, 2 tables, submitted to Formal Methods in Computer-Aided Design conference 2021 

  Access Paper or Ask Questions

Graph Sanitation with Application to Node Classification


May 19, 2021
Zhe Xu, Hanghang Tong


  Access Paper or Ask Questions

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach


Apr 30, 2021
Jean-Raphaƫl Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu


  Access Paper or Ask Questions

Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems


Mar 26, 2021
Zhe Xu, Yichen Zhang

* arXiv admin note: substantial text overlap with arXiv:1911.11347 

  Access Paper or Ask Questions

Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic


Mar 26, 2021
Zhe Xu, Xiaoming Duan

* arXiv admin note: text overlap with arXiv:2007.15114 

  Access Paper or Ask Questions

Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance


Nov 12, 2020
Zhe Xu, Jiangpeng Yan, Jie Luo, Xiu Li, Jayender Jagadeesan

* 5 pages, under review 

  Access Paper or Ask Questions

Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks


Nov 12, 2020
Zhe Xu, Jiangpeng Yan, Jie Luo, William Wells, Xiu Li, Jayender Jagadeesan

* 5 pages, 5 figures 

  Access Paper or Ask Questions

F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration


Sep 15, 2020
Zhe Xu, Jie Luo, Jiangpeng Yan, Xiu Li, Jagadeesan Jayender

* 15 pages, under review 

  Access Paper or Ask Questions

Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island


Sep 06, 2020
Yue Yang, Wencang Bao, Mohsen Ramezani, Zhe Xu


  Access Paper or Ask Questions

Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration


Jul 06, 2020
Zhe Xu, Jie Luo, Jiangpeng Yan, Ritvik Pulya, Xiu Li, William Wells III, Jayender Jagadeesan

* accepted by MICCAI 2020 

  Access Paper or Ask Questions

Reward Machines for Cooperative Multi-Agent Reinforcement Learning


Jul 03, 2020
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu


  Access Paper or Ask Questions

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples


Jun 28, 2020
Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu


  Access Paper or Ask Questions

Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers


May 14, 2020
Junjie Liu, Zhe Xu, Runbin Shi, Ray C. C. Cheung, Hayden K. H. So

* ICLR 2020, camera ready version 

  Access Paper or Ask Questions

Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?


Mar 20, 2020
Jie Luo, Guangshen Ma, Sarah Frisken, Parikshit Juvekar, Nazim Haouchine, Zhe Xu, Yiming Xiao, Alexandra Golby, Patrick Codd, Masashi Sugiyama, William Wells III

* Draft 1 

  Access Paper or Ask Questions

Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences


Jan 27, 2020
Zhe Xu, Yuxin Chen, Ufuk Topcu

* 25 pages 

  Access Paper or Ask Questions

Active Task-Inference-Guided Deep Inverse Reinforcement Learning


Jan 24, 2020
Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu


  Access Paper or Ask Questions

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications


Sep 29, 2019
Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu


  Access Paper or Ask Questions

Accurate and Compact Convolutional Neural Networks with Trained Binarization


Sep 25, 2019
Zhe Xu, Ray C. C. Cheung

* Accepted as an Oral presentation in British Machine Vision Conference (BMVC) 2019 

  Access Paper or Ask Questions

Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach


Sep 22, 2019
Zhe Xu, Federico M. Zegers, Bo Wu, Warren Dixon, Ufuk Topcu


  Access Paper or Ask Questions