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

Zhe Xu

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


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

Figure 1 for Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems
Figure 2 for Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems
Figure 3 for Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems
Figure 4 for Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems
* 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

Figure 1 for Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning
Figure 2 for Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning
Figure 3 for Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning
Figure 4 for Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning

  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

Figure 1 for Decentralized Graph-Based Multi-Agent Reinforcement Learning Using Reward Machines
Figure 2 for Decentralized Graph-Based Multi-Agent Reinforcement Learning Using Reward Machines
Figure 3 for Decentralized Graph-Based Multi-Agent Reinforcement Learning Using Reward Machines
Figure 4 for Decentralized Graph-Based Multi-Agent Reinforcement Learning Using Reward Machines

  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

Figure 1 for All-Around Real Label Supervision: Cyclic Prototype Consistency Learning for Semi-supervised Medical Image Segmentation
Figure 2 for All-Around Real Label Supervision: Cyclic Prototype Consistency Learning for Semi-supervised Medical Image Segmentation
Figure 3 for All-Around Real Label Supervision: Cyclic Prototype Consistency Learning for Semi-supervised Medical Image Segmentation
Figure 4 for All-Around Real Label Supervision: Cyclic Prototype Consistency Learning for Semi-supervised Medical Image Segmentation
* 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

Figure 1 for Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks
Figure 2 for Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks
* 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

Figure 1 for Double-Uncertainty Assisted Spatial and Temporal Regularization Weighting for Learning-based Registration
Figure 2 for Double-Uncertainty Assisted Spatial and Temporal Regularization Weighting for Learning-based Registration
Figure 3 for Double-Uncertainty Assisted Spatial and Temporal Regularization Weighting for Learning-based Registration
* 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

Figure 1 for Non-Parametric Neuro-Adaptive Control Subject to Task Specifications
Figure 2 for Non-Parametric Neuro-Adaptive Control Subject to Task Specifications
Figure 3 for Non-Parametric Neuro-Adaptive Control Subject to Task Specifications
Figure 4 for Non-Parametric Neuro-Adaptive Control Subject to Task Specifications

  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

Figure 1 for A Deep Value-network Based Approach for Multi-Driver Order Dispatching
Figure 2 for A Deep Value-network Based Approach for Multi-Driver Order Dispatching
Figure 3 for A Deep Value-network Based Approach for Multi-Driver Order Dispatching
Figure 4 for A Deep Value-network Based Approach for Multi-Driver Order Dispatching
* 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

Figure 1 for Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
Figure 2 for Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
Figure 3 for Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
Figure 4 for Noisy Labels are Treasure: Mean-Teacher-Assisted Confident Learning for Hepatic Vessel Segmentation
* 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

Figure 1 for Uncertainty-Aware Signal Temporal Logic Inference
Figure 2 for Uncertainty-Aware Signal Temporal Logic Inference
Figure 3 for Uncertainty-Aware Signal Temporal Logic Inference
Figure 4 for Uncertainty-Aware Signal Temporal Logic Inference
* 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

Figure 1 for Uncertainty-Aware Signal Temporal logic
Figure 2 for Uncertainty-Aware Signal Temporal logic
Figure 3 for Uncertainty-Aware Signal Temporal logic
Figure 4 for Uncertainty-Aware Signal Temporal logic
* 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

Figure 1 for Graph Sanitation with Application to Node Classification
Figure 2 for Graph Sanitation with Application to Node Classification
Figure 3 for Graph Sanitation with Application to Node Classification
Figure 4 for Graph Sanitation with Application to Node Classification

  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

Figure 1 for Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Figure 2 for Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Figure 3 for Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Figure 4 for Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach

  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

Figure 1 for Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
Figure 2 for Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
Figure 3 for Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
Figure 4 for Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
* 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

Figure 1 for Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Figure 2 for Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Figure 3 for Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Figure 4 for Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
* 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

Figure 1 for Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Figure 2 for Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Figure 3 for Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
Figure 4 for Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance
* 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

Figure 1 for Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
Figure 2 for Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
Figure 3 for Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
Figure 4 for Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks
* 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

Figure 1 for F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
Figure 2 for F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
Figure 3 for F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
Figure 4 for F3RNet: Full-Resolution Residual Registration Network for Multimodal Image Registration
* 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

Figure 1 for Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island
Figure 2 for Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island
Figure 3 for Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island
Figure 4 for Real-time and Large-scale Fleet Allocation of Autonomous Taxis: A Case Study in New York Manhattan Island

  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

Figure 1 for Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Figure 2 for Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Figure 3 for Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
Figure 4 for Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration
* 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

Figure 1 for Reward Machines for Cooperative Multi-Agent Reinforcement Learning
Figure 2 for Reward Machines for Cooperative Multi-Agent Reinforcement Learning
Figure 3 for Reward Machines for Cooperative Multi-Agent Reinforcement Learning
Figure 4 for Reward Machines for Cooperative Multi-Agent Reinforcement Learning

  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

Figure 1 for Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
Figure 2 for Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
Figure 3 for Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
Figure 4 for Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples

  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

Figure 1 for Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
Figure 2 for Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
Figure 3 for Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
Figure 4 for Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers
* 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

Figure 1 for Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
Figure 2 for Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
Figure 3 for Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
Figure 4 for Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?
* 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

Figure 1 for Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
Figure 2 for Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
Figure 3 for Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
Figure 4 for Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
* 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

Figure 1 for Active Task-Inference-Guided Deep Inverse Reinforcement Learning
Figure 2 for Active Task-Inference-Guided Deep Inverse Reinforcement Learning
Figure 3 for Active Task-Inference-Guided Deep Inverse Reinforcement Learning
Figure 4 for Active Task-Inference-Guided Deep Inverse Reinforcement Learning

  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

Figure 1 for Differentially Private Controller Synthesis With Metric Temporal Logic Specifications
Figure 2 for Differentially Private Controller Synthesis With Metric Temporal Logic Specifications
Figure 3 for Differentially Private Controller Synthesis With Metric Temporal Logic Specifications

  Access Paper or Ask Questions

Accurate and Compact Convolutional Neural Networks with Trained Binarization


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

Figure 1 for Accurate and Compact Convolutional Neural Networks with Trained Binarization
Figure 2 for Accurate and Compact Convolutional Neural Networks with Trained Binarization
Figure 3 for Accurate and Compact Convolutional Neural Networks with Trained Binarization
Figure 4 for Accurate and Compact Convolutional Neural Networks with Trained Binarization
* 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

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

  Access Paper or Ask Questions