b'Zhe Xu'

research

∙ 05/27/2023

Reinforcement Learning With Reward Machines in Stochastic Games

We investigate multi-agent reinforcement learning for stochastic games w...

0 Jueming Hu, et al. ∙

research

∙ 05/03/2023

Distributed Leader Follower Formation Control of Mobile Robots based on Bioinspired Neural Dynamics and Adaptive Sliding Innovation Filter

This paper investigated the distributed leader follower formation contro...

0 Zhe Xu, et al. ∙

research

∙ 12/12/2022

CTT-Net: A Multi-view Cross-token Transformer for Cataract Postoperative Visual Acuity Prediction

Surgery is the only viable treatment for cataract patients with visual a...

0 Jinhong Wang, et al. ∙

research

∙ 12/02/2022

Learning Temporal Logic Properties: an Overview of Two Recent Methods

Learning linear temporal logic (LTL) formulas from examples labeled as p...

0 Jean-Raphaël Gaglione, et al. ∙

research

∙ 11/26/2022

Human-machine Interactive Tissue Prototype Learning for Label-efficient Histopathology Image Segmentation

Recently, deep neural networks have greatly advanced histopathology imag...

0 Wentao Pan, et al. ∙

research

∙ 09/06/2022

Learning Interpretable Temporal Properties from Positive Examples Only

We consider the problem of explaining the temporal behavior of black-box...

0 Rajarshi Roy, et al. ∙

research

∙ 09/03/2022

A Hybrid Tracking Control Strategy for an Unmanned Underwater Vehicle Aided with Bioinspired Neural Dynamics

Tracking control has been a vital research topic in robotics. This paper...

0 Zhe Xu, et al. ∙

research

∙ 07/15/2022

Towards Better Dermoscopic Image Feature Representation Learning for Melanoma Classification

Deep learning-based melanoma classification with dermoscopic images has ...

0 Chenghui Yu, et al. ∙

research

∙ 07/07/2022

Deformer: Towards Displacement Field Learning for Unsupervised Medical Image Registration

Recently, deep-learning-based approaches have been widely studied for de...

0 Jiashun Chen, et al. ∙

research

∙ 06/17/2022

Bio-inspired Intelligence with Applications to Robotics: A Survey

In the past decades, considerable attention has been paid to bio-inspire...

0 Junfei Li, et al. ∙

research

∙ 06/16/2022

Consensus Formation Tracking for Multiple AUV Systems Using Distributed Bioinspired Sliding Mode Control

Consensus formation tracking of multiple autonomous underwater vehicles ...

0 Tao Yan, et al. ∙

research

∙ 06/15/2022

Seeking Common Ground While Reserving Differences: Multiple Anatomy Collaborative Framework for Undersampled MRI Reconstruction

Recently, deep neural networks have greatly advanced undersampled Magnet...

0 Jiangpeng Yan, et al. ∙

research

∙ 05/06/2022

Learning Optimal Propagation for Graph Neural Networks

Graph Neural Networks (GNNs) have achieved tremendous success in a varie...

0 Beidi Zhao, et al. ∙

research

∙ 04/27/2022

Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing

We study the problem of autonomous racing amongst teams composed of coop...

0 Rishabh Saumil Thakkar, et al. ∙

research

∙ 02/25/2022

Hierarchical Control for Multi-Agent Autonomous Racing

We develop a hierarchical controller for multi-agent autonomous racing. ...

0 Rishabh Saumil Thakkar, et al. ∙

research

∙ 12/08/2021

Learn2Reg: comprehensive multi-task medical image registration challenge, dataset and evaluation in the era of deep learning

To date few studies have comprehensively compared medical image registra...

4 Alessa Hering, et al. ∙

research

∙ 10/11/2021

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

We develop a learning-based algorithm for the distributed formation cont...

0 Christos K. Verginis, et al. ∙

research

∙ 10/06/2021

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

Deep learning-based Multi-Task Classification (MTC) is widely used in ap...

0 Ren Wang, et al. ∙

research

∙ 09/30/2021

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

In multi-agent reinforcement learning (MARL), it is challenging for a co...

0 Jueming Hu, et al. ∙

research

∙ 09/28/2021

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

Semi-supervised learning has substantially advanced medical image segmen...

1 Zhe Xu, et al. ∙

research

∙ 09/16/2021

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks

Extracting spatial-temporal knowledge from data is useful in many applic...

0 Nasim Baharisangari, et al. ∙

research

∙ 07/06/2021

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

In order to tackle the difficulty associated with the ill-posed nature o...

0 Zhe Xu, et al. ∙

research

∙ 06/29/2021

Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach

We develop a probabilistic control algorithm, , for swarms of agents wit...

0 Franck Djeumou, et al. ∙

research

∙ 06/25/2021

Non-Parametric Neuro-Adaptive Control Subject to Task Specifications

We develop a learning-based algorithm for the control of robotic systems...

0 Christos K. Verginis, et al. ∙

research

∙ 06/08/2021

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

Recent works on ride-sharing order dispatching have highlighted the impo...

0 Xiaocheng Tang, et al. ∙

research

∙ 06/03/2021

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

Manually segmenting the hepatic vessels from Computer Tomography (CT) is...

4 Zhe Xu, et al. ∙

research

∙ 05/24/2021

Uncertainty-Aware Signal Temporal Logic Inference

Temporal logic inference is the process of extracting formal description...

0 Nasim Baharisangari, et al. ∙

research

∙ 05/19/2021

Graph Sanitation with Application to Node Classification

The past decades have witnessed the prosperity of graph mining, with a m...

0 Zhe Xu, et al. ∙

research

∙ 04/30/2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach

We address the problem of inferring descriptions of system behavior usin...

0 Jean-Raphaël Gaglione, et al. ∙

research

∙ 03/26/2021

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...

0 Zhe Xu, et al. ∙

research

∙ 03/26/2021

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...

0 Zhe Xu, et al. ∙

research

∙ 11/12/2020

Unsupervised Multimodal Image Registration with Adaptative Gradient Guidance

Multimodal image registration (MIR) is a fundamental procedure in many i...

0 Zhe Xu, et al. ∙

research

∙ 11/12/2020

Unimodal Cyclic Regularization for Training Multimodal Image Registration Networks

The loss function of an unsupervised multimodal image registration frame...

0 Zhe Xu, et al. ∙

research

∙ 09/15/2020

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

Multimodal deformable image registration is essential for many image-gui...

0 Zhe Xu, et al. ∙

research

∙ 09/06/2020

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...

0 Yue Yang, et al. ∙

research

∙ 07/06/2020

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

Deformable image registration between Computed Tomography (CT) images an...

0 Zhe Xu, et al. ∙

research

∙ 06/25/2020

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

We study the distributed synthesis of policies for multi-agent systems t...

0 Murat Cubuktepe, et al. ∙

research

∙ 05/14/2020

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

We present a novel network pruning algorithm called Dynamic Sparse Train...

41 Junjie Liu, et al. ∙

research

∙ 03/20/2020

Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?

With the increasing availability of new image registration approaches, a...

0 Jie Luo, et al. ∙

research

∙ 01/27/2020

Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences

Machine teaching is an algorithmic framework for teaching a target hypot...

0 Zhe Xu, et al. ∙

research

∙ 01/24/2020

Active Task-Inference-Guided Deep Inverse Reinforcement Learning

In inverse reinforcement learning (IRL), given a Markov decision process...

0 Farzan Memarian, et al. ∙

research

∙ 01/24/2020

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications

We study the synthesis of policies for multi-agent systems to implement ...

0 Murat Cubuktepe, et al. ∙

research

∙ 11/26/2019

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...

0 Zhe Xu, et al. ∙

research

∙ 09/29/2019

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications

Privacy is an important concern in various multiagent systems in which d...

0 Zhe Xu, et al. ∙

research

∙ 09/25/2019

Accurate and Compact Convolutional Neural Networks with Trained Binarization

Although convolutional neural networks (CNNs) are now widely used in var...

31 Zhe Xu, et al. ∙

research

∙ 09/22/2019

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...

0 Zhe Xu, et al. ∙

research

∙ 09/12/2019

Joint Inference of Reward Machines and Policies for Reinforcement Learning

Incorporating high-level knowledge is an effective way to expedite reinf...

0 Zhe Xu, et al. ∙

research

∙ 09/10/2019

Transfer of Temporal Logic Formulas in Reinforcement Learning

Transferring high-level knowledge from a source task to a target task is...

0 Zhe Xu, et al. ∙

research

∙ 03/22/2019

Graph Temporal Logic Inference for Classification and Identification

Inferring spatial-temporal properties from data is important for many co...

0 Zhe Xu, et al. ∙

research

∙ 11/21/2018

Information-Guided Temporal Logic Inference with Prior Knowledge

This paper investigates the problem of inferring knowledge from data so ...

0 Zhe Xu, et al. ∙

Zhe Xu

Featured Co-authors