Zhe Xu

According to our database, Zhe Xu authored at least 75 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Privacy-Utility Tradeoffs Against Limited Adversaries.

Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu

IEEE Trans. Autom. Control., January, 2024

Decentralized graph-based multi-agent reinforcement learning using reward machines.

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

Neurocomputing, January, 2024

State-Constrained Zero-Sum Differential Games with One-Sided Information.

Mukesh Ghimire, Lei Zhang, Zhe Xu, Yi Ren

CoRR, 2024

Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine.

Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

CoRR, 2024

Pontryagin Neural Operator for Solving Parametric General-Sum Differential Games.

Lei Zhang, Mukesh Ghimire, Zhe Xu, Wenlong Zhang, Yi Ren

CoRR, 2024

Multi-Trigger-Key: Toward Multi-Task Privacy Preserving in Deep Learning.

Ren Wang, Zhe Xu, Alfred O. Hero III

IEEE Access, 2024

2023

Reactive synthesis for relay-explorer consensus with intermittent communication.

Runhan Sun, Suda Bharadwaj, Zhe Xu, Ufuk Topcu, Warren E. Dixon

Autom., August, 2023

Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching.

Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu

IEEE Trans. Autom. Control., 2023

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

Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu

IEEE Trans. Autom. Control., 2023

Value Approximation for Two-Player General-Sum Differential Games with State Constraints.

Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren

CoRR, 2023

Solving Two-Player General-Sum Games Between Swarms.

Mukesh Ghimire, Lei Zhang, Wenlong Zhang, Yi Ren, Zhe Xu

CoRR, 2023

Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference.

Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong

CoRR, 2023

Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications.

Zhe Xu, Federico M. Zegers, Nasim Baharisangari, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu

IEEE Access, 2023

Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games.

Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Non-Parametric Neuro-Adaptive Control.

Christos K. Verginis, Zhe Xu, Ufuk Topcu

Proceedings of the European Control Conference, 2023

Reinforcement Learning with Reward Machines in Stochastic Games.

Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.

Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu

Proceedings of the Machine Learning and Knowledge Extraction, 2023

Learning Interpretable Temporal Properties from Positive Examples Only.

Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.

Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu

IEEE Trans. Autom. Control., 2022

MaxSAT-based temporal logic inference from noisy data.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

Innov. Syst. Softw. Eng., 2022

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks.

Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu

IEEE Control. Syst. Lett., 2022

Learning Temporal Logic Properties: an Overview of Two Recent Methods.

Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

CoRR, 2022

Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications.

Nasim Baharisangari, Zhe Xu

CoRR, 2022

Non-Parametric Neuro-Adaptive Formation Control.

Christos K. Verginis, Zhe Xu, Ufuk Topcu

CoRR, 2022

Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing.

Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu

CoRR, 2022

Hierarchical Control for Multi-Agent Autonomous Racing.

Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu

CoRR, 2022

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

Christos K. Verginis, Zhe Xu, Ufuk Topcu

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

When Shall I Estimate Your Intent? Costs and Benefits of Intent Inference in Multi-Agent Interactions.

Sunny Amatya, Mukesh Ghimire, Yi Ren, Zhe Xu, Wenlong Zhang

Proceedings of the American Control Conference, 2022

2021

Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications.

Murat Cubuktepe, Zhe Xu, Ufuk Topcu

IEEE Trans. Control. Netw. Syst., 2021

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

Ren Wang, Zhe Xu, Alfred O. Hero III

CoRR, 2021

Privacy-Utility Trade-Offs Against Limited Adversaries.

Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu

CoRR, 2021

Non-Parametric Neuro-Adaptive Control Subject to Task Specifications.

Christos K. Verginis, Zhe Xu, Ufuk Topcu

CoRR, 2021

Uncertainty-Aware Signal Temporal logic.

Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

CoRR, 2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

CoRR, 2021

Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications.

Zhe Xu, Federico M. Zegers, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu

CoRR, 2021

Uncertainty-Aware Signal Temporal Logic Inference.

Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

Proceedings of the Software Verification - 13th International Conference, 2021

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

Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu

Proceedings of the Machine Learning and Knowledge Extraction, 2021

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

Zhe Xu, Yichen Zhang

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

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

Zhe Xu, Xiaoming Duan

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking.

Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.

Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu

Proceedings of the Automated Technology for Verification and Analysis, 2021

Reward Machines for Cooperative Multi-Agent Reinforcement Learning.

Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Robust Low-Rank Tensor Recovery From Quantized and Corrupted Measurements.

Ren Wang, Tianqi Chen, Zhe Xu, Pengzhi Gao

Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, 2021

Advice-Guided Reinforcement Learning in a non-Markovian Environment.

Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners.

Zhe Xu, Yuxin Chen, Ufuk Topcu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach.

Zhe Xu, Bo Wu, Ufuk Topcu

CoRR, 2020

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

Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu

CoRR, 2020

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

Murat Cubuktepe, Zhe Xu, Ufuk Topcu

CoRR, 2020

Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems.

Zhe Xu

CoRR, 2020

Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties.

Zhe Xu, Yi Deng, Agung Julius

CoRR, 2020

Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences.

Zhe Xu, Yuxin Chen, Ufuk Topcu

CoRR, 2020

Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications.

Franck Djeumou, Zhe Xu, Ufuk Topcu

Proceedings of the Robotics: Science and Systems XVI, 2020

Active Task-Inference-Guided Deep Inverse Reinforcement Learning.

Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications.

Murat Cubuktepe, Zhe Xu, Ufuk Topcu

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications.

Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu

Proceedings of the 2020 American Control Conference, 2020

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology.

Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu

Proceedings of the 2020 American Control Conference, 2020

Joint Inference of Reward Machines and Policies for Reinforcement Learning.

Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots.

Zhe Xu, Sayan Saha, Botao Hu, Sandipan Mishra, A. Agung Julius

IEEE Trans Autom. Sci. Eng., 2019

Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications.

Zhe Xu, Agung Julius, Joe H. Chow

IEEE Syst. J., 2019

Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems.

Zhe Xu, A. Agung Julius

IEEE Syst. J., 2019

Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis.

Ruixuan Yan, Zhe Xu, Agung Julius

IEEE Robotics Autom. Lett., 2019

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

Zhe Xu, Agung Julius, Ufuk Topcu, Joe H. Chow

CoRR, 2019

Minimizing the Information Leakage Regarding High-Level Task Specifications.

Michael Hibbard, Yagiz Savas, Zhe Xu, Ufuk Topcu

CoRR, 2019

Transfer of Temporal Logic Formulas in Reinforcement Learning.

Zhe Xu, Ufuk Topcu

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Graph Temporal Logic Inference for Classification and Identification.

Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Information-Guided Temporal Logic Inference with Prior Knowledge.

Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu

Proceedings of the 2019 American Control Conference, 2019

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

Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu

Proceedings of the 57th Annual Allerton Conference on Communication, 2019

2018

Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis.

Zhe Xu, A. Agung Julius

IEEE Trans Autom. Sci. Eng., 2018

Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage.

Zhe Xu, A. Agung Julius, Joe H. Chow

IEEE Syst. J., 2018

Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications.

Zhe Xu, Agung Julius, Joe H. Chow

Proceedings of the 2018 Annual American Control Conference, 2018

Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings.

Zhe Xu, Yi Deng, Agung Julius

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Provably correct design of observations for fault detection with privacy preservation.

Zhe Xu, Sayan Saha, Agung Julius

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Optimal energy storage control for frequency regulation under temporal logic specifications.

Zhe Xu, Agung Julius, Joe H. Chow

Proceedings of the 2017 American Control Conference, 2017

2016

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

Zhe Xu, Agung Julius

CoRR, 2016

2015

Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements.

Zhe Xu, Calin Belta, Agung Julius

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015