Zhe Xu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 91

Top Topics

Reinforcement Learning

Hypothesis Test

Top Venues

IEEE Trans. Autom. Control.

Publications

Jueming Hu, Zhe Xu, Weichang Wang, Guannan Qu, Yutian Pang, Yongming Liu
Decentralized graph-based multi-agent reinforcement learning using reward machines. Neurocomputing 564 (2024)
Lei Zhang, Mukesh Ghimire, Zhe Xu, Wenlong Zhang, Yi Ren
Pontryagin Neural Operator for Solving Parametric General-Sum Differential Games. CoRR (2024)
Shayan Meshkat Alsadat, Nasim Baharisangari, Zhe Xu
Distributed on-the-fly control of multi-agent systems with unknown dynamics: Using limited data to obtain near-optimal control. L4DC (2024)
Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu
Privacy-Utility Tradeoffs Against Limited Adversaries. IEEE Trans. Autom. Control. 69 (1) (2024)
Jan Corazza, Hadi Partovi Aria, Daniel Neider, Zhe Xu
Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment. CLeaR (2024)
Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. CoRR (2024)
Lei Zhang, Mukesh Ghimire, Zhe Xu, Wenlong Zhang, Yi Ren
Pontryagin neural operator for solving general-sum differential games with parametric state constraints. L4DC (2024)
Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. IEEE Trans. Intell. Veh. 9 (5) (2024)
Mukesh Ghimire, Lei Zhang, Zhe Xu, Yi Ren
State-Constrained Zero-Sum Differential Games with One-Sided Information. CoRR (2024)
Ren Wang, Zhe Xu, Alfred O. Hero III
Multi-Trigger-Key: Toward Multi-Task Privacy Preserving in Deep Learning. IEEE Access 12 (2024)
Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. IEEE Trans. Autom. Control. 68 (4) (2023)
Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference. CoRR (2023)
Mukesh Ghimire, Lei Zhang, Wenlong Zhang, Yi Ren, Zhe Xu
Solving Two-Player General-Sum Games Between Swarms. CoRR (2023)
Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
Reinforcement Learning With Reward Machines in Stochastic Games. CoRR (2023)
Zhe Xu, Federico M. Zegers, Nasim Baharisangari, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. IEEE Access 11 (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR (2023)
Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren
Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games. ICRA (2023)
Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. IEEE Trans. Autom. Control. 68 (1) (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE (2023)
Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
Reinforcement Learning with Reward Machines in Stochastic Games. ECAI (2023)
Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren
Value Approximation for Two-Player General-Sum Differential Games with State Constraints. CoRR (2023)
Runhan Sun, Suda Bharadwaj, Zhe Xu, Ufuk Topcu, Warren E. Dixon
Reactive synthesis for relay-explorer consensus with intermittent communication. Autom. 154 (2023)
Christos K. Verginis, Zhe Xu, Ufuk Topcu
Non-Parametric Neuro-Adaptive Control. ECC (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. AAAI (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. CoRR (2022)
Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. CoRR (2022)
Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
Hierarchical Control for Multi-Agent Autonomous Racing. CoRR (2022)
Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. IEEE Control. Syst. Lett. 6 (2022)
Christos K. Verginis, Zhe Xu, Ufuk Topcu
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. AAMAS (2022)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
MaxSAT-based temporal logic inference from noisy data. Innov. Syst. Softw. Eng. 18 (3) (2022)
Nasim Baharisangari, Zhe Xu
Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. CoRR (2022)
Christos K. Verginis, Zhe Xu, Ufuk Topcu
Non-Parametric Neuro-Adaptive Formation Control. CoRR (2022)
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. IEEE Trans. Autom. Control. 67 (7) (2022)
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR (2022)
Christos K. Verginis, Zhe Xu, Ufuk Topcu
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. CoRR (2021)
Zhe Xu, Yuxin Chen, Ufuk Topcu
Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners. AAAI (2021)
Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. CDC (2021)
Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. CoRR (2021)
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. 8 (4) (2021)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. CoRR (2021)
Zhe Xu, Federico M. Zegers, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. CoRR (2021)
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Uncertainty-Aware Signal Temporal logic. CoRR (2021)
Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CD-MAKE (2021)
Christos K. Verginis, Zhe Xu, Ufuk Topcu
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications. CoRR (2021)
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA (2021)
Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. CoRR (2021)
Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu
Privacy-Utility Trade-Offs Against Limited Adversaries. CoRR (2021)
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. AAMAS (2021)
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Uncertainty-Aware Signal Temporal Logic Inference. VSTTE (2021)
Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
Advice-Guided Reinforcement Learning in a non-Markovian Environment. AAAI (2021)
Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. CoRR (2021)
Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. ACC (2020)
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. CoRR (2020)
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC (2020)
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. CoRR (2020)
Zhe Xu
Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems. CoRR (2020)
Franck Djeumou, Zhe Xu, Ufuk Topcu
Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications. Robotics: Science and Systems (2020)
Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CDC (2020)
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. CoRR (2020)
Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CoRR (2020)
Zhe Xu, Bo Wu, Ufuk Topcu
Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. CoRR (2020)
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. AAMAS (2020)
Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CoRR (2020)
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR (2020)
Zhe Xu, Yuxin Chen, Ufuk Topcu
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences. CoRR (2020)
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS (2020)
Zhe Xu, Yi Deng, Agung Julius
Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties. CoRR (2020)
Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. CoRR (2020)
Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach. CoRR (2019)
Zhe Xu, Ufuk Topcu
Transfer of Temporal Logic Formulas in Reinforcement Learning. IJCAI (2019)
Zhe Xu, A. Agung Julius
Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems. IEEE Syst. J. 13 (3) (2019)
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
Information-Guided Temporal Logic Inference with Prior Knowledge. ACC (2019)
Zhe Xu, Agung Julius, Joe H. Chow
Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications. IEEE Syst. J. 13 (1) (2019)
Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
Graph Temporal Logic Inference for Classification and Identification. CDC (2019)
Ruixuan Yan, Zhe Xu, Agung Julius
Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis. IEEE Robotics Autom. Lett. 4 (3) (2019)
Michael Hibbard, Yagiz Savas, Zhe Xu, Ufuk Topcu
Minimizing the Information Leakage Regarding High-Level Task Specifications. CoRR (2019)
Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. CoRR (2019)
Zhe Xu, Sayan Saha, Botao Hu, Sandipan Mishra, A. Agung Julius
Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots. IEEE Trans Autom. Sci. Eng. 16 (1) (2019)
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR (2019)
Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
Graph Temporal Logic Inference for Classification and Identification. CoRR (2019)
Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu
Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach. Allerton (2019)
Zhe Xu, Ufuk Topcu
Transfer of Temporal Logic Formulas in Reinforcement Learning. CoRR (2019)
Zhe Xu, Agung Julius, Ufuk Topcu, Joe H. Chow
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications. CoRR (2019)
Zhe Xu, A. Agung Julius, Joe H. Chow
Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage. IEEE Syst. J. 12 (4) (2018)
Zhe Xu, Yi Deng, Agung Julius
Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings. ACC (2018)
Zhe Xu, A. Agung Julius
Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis. IEEE Trans Autom. Sci. Eng. 15 (1) (2018)
Zhe Xu, Agung Julius, Joe H. Chow
Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications. ACC (2018)
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
Information-Guided Temporal Logic Inference with Prior Knowledge. CoRR (2018)
Zhe Xu, Agung Julius, Joe H. Chow
Optimal energy storage control for frequency regulation under temporal logic specifications. ACC (2017)
Zhe Xu, Sayan Saha, Agung Julius
Provably correct design of observations for fault detection with privacy preservation. CDC (2017)
Zhe Xu, Agung Julius
Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis. CoRR (2016)
Zhe Xu, Calin Belta, Agung Julius
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. ADHS (2015)