b'Zhe Xu'

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

In this paper, we present a provably correct controller synthesis approa...
03/26/2021 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

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

Pandemics can bring a range of devastating consequences to public health...
03/26/2021 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance

Multimodal image registration (MIR) is a fundamental procedure in many i...
11/12/2020 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks

The loss function of an unsupervised multimodal image registration frame...
11/12/2020 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

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

Multimodal deformable image registration is essential for many image-gui...
09/15/2020 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

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

Nowadays, autonomous taxis become a highly promising transportation mode...
09/06/2020 ∙ by Yue Yang, et al. ∙ 0 ∙ share

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

Deformable image registration between Computed Tomography (CT) images an...
07/06/2020 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications

We study the distributed synthesis of policies for multi-agent systems t...
06/25/2020 ∙ by Murat Cubuktepe, et al. ∙ 0 ∙ share

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

We present a novel network pruning algorithm called Dynamic Sparse Train...
05/14/2020 ∙ by Junjie Liu, et al. ∙ 41 ∙ share

read it
Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?

With the increasing availability of new image registration approaches, a...
03/20/2020 ∙ by Jie Luo, et al. ∙ 0 ∙ share

read it
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences

Machine teaching is an algorithmic framework for teaching a target hypot...
01/27/2020 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Active Task-Inference-Guided Deep Inverse Reinforcement Learning

In inverse reinforcement learning (IRL), given a Markov decision process...
01/24/2020 ∙ by Farzan Memarian, et al. ∙ 0 ∙ share

read it
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications

We study the synthesis of policies for multi-agent systems to implement ...
01/24/2020 ∙ by Murat Cubuktepe, et al. ∙ 0 ∙ share

read it
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications

In this paper, we present a controller synthesis approach for wind turbi...
11/26/2019 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications

Privacy is an important concern in various multiagent systems in which d...
09/29/2019 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Accurate and Compact Convolutional Neural Networks with Trained Binarization

Although convolutional neural networks (CNNs) are now widely used in var...
09/25/2019 ∙ by Zhe Xu, et al. ∙ 31 ∙ share

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

This paper develops a controller synthesis approach for a multi-agent sy...
09/22/2019 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Joint Inference of Reward Machines and Policies for Reinforcement Learning

Incorporating high-level knowledge is an effective way to expedite reinf...
09/12/2019 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Transfer of Temporal Logic Formulas in Reinforcement Learning

Transferring high-level knowledge from a source task to a target task is...
09/10/2019 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Graph Temporal Logic Inference for Classification and Identification

Inferring spatial-temporal properties from data is important for many co...
03/22/2019 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Information-Guided Temporal Logic Inference with Prior Knowledge

This paper investigates the problem of inferring knowledge from data so ...
11/21/2018 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
A Robust Background Initialization Algorithm with Superpixel Motion Detection

Scene background initialization allows the recovery of a clear image wit...
05/17/2018 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Efficient Large-Scale Fleet Management via Multi-Agent Deep Reinforcement Learning

Large-scale online ride-sharing platforms have substantially transformed...
02/18/2018 ∙ by Kaixiang Lin, et al. ∙ 0 ∙ share

read it
Query-free Clothing Retrieval via Implicit Relevance Feedback

Image-based clothing retrieval is receiving increasing interest with the...
11/01/2017 ∙ by Zhuoxiang Chen, et al. ∙ 0 ∙ share

read it
Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis

In this paper, we define a novel census signal temporal logic (CensusSTL...
10/05/2016 ∙ by Zhe Xu, et al. ∙ 0 ∙ share

read it
Part-Stacked CNN for Fine-Grained Visual Categorization

In the context of fine-grained visual categorization, the ability to int...
12/26/2015 ∙ by Shaoli Huang, et al. ∙ 0 ∙ share

read it

Zhe Xu

Featured Co-authors

Dacheng Tao

Masashi Sugiyama

Yuxin Chen

Ufuk Topcu

Ya Zhang

Jiayu Zhou

Rupak Majumdar

Bo Wu

Jie Luo

Yichen Zhang

Yue Yang

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

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

Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance

Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks

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

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

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

Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications

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

Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?

Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences

Active Task-Inference-Guided Deep Inverse Reinforcement Learning

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications

Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications

Accurate and Compact Convolutional Neural Networks with Trained Binarization

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

Joint Inference of Reward Machines and Policies for Reinforcement Learning

Transfer of Temporal Logic Formulas in Reinforcement Learning

Graph Temporal Logic Inference for Classification and Identification

Information-Guided Temporal Logic Inference with Prior Knowledge

A Robust Background Initialization Algorithm with Superpixel Motion Detection

Efficient Large-Scale Fleet Management via Multi-Agent Deep Reinforcement Learning

Query-free Clothing Retrieval via Implicit Relevance Feedback

Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis

Part-Stacked CNN for Fine-Grained Visual Categorization