Zhe Xu - RankMe

129 papers A* 8A 5B 1C 16Journal 81Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Corrigendum to 'On the Detection of Markov Decision Processes' [Automatica 175 (2025) 112196]. Autom. Xiaoming Duan, Yagiz Savas, Rui Yan, Zhe Xu, Ufuk Topcu
2025	A*	`conf`	A Logic-Based Approach to Causal Discovery: Signal Temporal Logic Perspective. IJCAI Nasim Baharisangari, Yucheng Ruan, Chengcheng Zhao, Zhe Xu
2025	J	`jnl`	A Scalable Solver for 2p0s Differential Games with One-Sided Payoff Information and Continuous Actions, States, and Time. CoRR Mukesh Ghimire, Lei Zhang, Zhe Xu, Yi Ren
2025	J	`jnl`	Decentralizing Multi-Agent Reinforcement Learning with Temporal Causal Information. CoRR Jan Corazza, Hadi Partovi Aria, Hyohun Kim, Daniel Neider, Zhe Xu
2025	—	`conf`	Decentralizing Multi-agent Reinforcement Learning with Temporal Causal Information. ECML/PKDD (6) Jan Corazza, Hadi Partovi Aria, Hyohun Kim, Daniel Neider, Zhe Xu
2025	J	`jnl`	Encoding High-Level Knowledge in Offline Multi-Agent Reinforcement Learning Using Reward Machines. IEEE Control. Syst. Lett. Shayan Meshkat Alsadat, Zhe Xu
2025	J	`jnl`	Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment. CoRR Jan Corazza, Hadi Partovi Aria, Daniel Neider, Zhe Xu
2025	—	`conf`	Mining Causal Signal Temporal Logic Formulas for Efficient Reinforcement Learning with Temporally Extended Tasks. NeuS Hadi Partovi Aria, Zhe Xu
2025	C	`conf`	Multi-Agent Causal Dynamics Learning for Temporally Extended Tasks with Reward Machine Inference. ACC Hadi Partovi Aria, Zhe Xu
2025	J	`jnl`	Nash Q-Learning With Inferring Causal Signal Temporal Logic: A Study of Competitive Multi-Agent Systems. IEEE Control. Syst. Lett. Hadi Partovi Aria, Zhe Xu
2025	J	`jnl`	Non-Parametric Neuro-Adaptive Formation Control. IEEE Trans Autom. Sci. Eng. Christos K. Verginis, Zhe Xu, Ufuk Topcu
2025	J	`jnl`	On the detection of Markov decision processes. Autom. Xiaoming Duan, Yagiz Savas, Rui Yan, Zhe Xu, Ufuk Topcu
2025	J	`jnl`	Parametric Value Approximation for General-sum Differential Games with State Constraints. CoRR Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren
2025	A	`conf`	Successor Features for Transfer in Alternating Markov Games. IROS Sunny Amatya, Yi Ren, Zhe Xu, Wenlong Zhang
2025	J	`jnl`	Successor Features for Transfer in Alternating Markov Games. CoRR Sunny Amatya, Yi Ren, Zhe Xu, Wenlong Zhang
2025	J	`jnl`	Swarm-Level Task Learning via Generalized Moments in Reinforcement Learning With Reward Machines. IEEE Control. Syst. Lett. Shayan Meshkat Alsadat, Vivek Sunil Kulkarni, Zhe Xu
2025	C	`conf`	Trajectory-Based Automata Learning for Offline Reinforcement Learning. ACC Shayan Meshkat Alsadat, Zhe Xu
2025	J	`jnl`	Two-Player Zero-Sum Differential Games with One-Sided Information. CoRR Mukesh Ghimire, Zhe Xu, Yi Ren
2025	C	`conf`	Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. ACC Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2024	C	`conf`	Counterfactually-Guided Causal Reinforcement Learning with Reward Machines. ACC Nasim Baharisangari, Yash Paliwal, Zhe Xu
2024	J	`jnl`	Decentralized graph-based multi-agent reinforcement learning using reward machines. Neurocomputing Jueming Hu, Zhe Xu, Weichang Wang, Guannan Qu, Yutian Pang, Yongming Liu
2024	C	`conf`	Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. ACC Nasim Baharisangari, Narendhiran Saravanane, Zhe Xu
2024	C	`conf`	Distributed Reinforcement Learning For Swarm Systems With Reward Machines. ACC Shayan Meshkat Alsadat, Nasim Baharisangari, Yash Paliwal, Zhe Xu
2024	—	`conf`	Distributed on-the-fly control of multi-agent systems with unknown dynamics: Using limited data to obtain near-optimal control. L4DC Shayan Meshkat Alsadat, Nasim Baharisangari, Zhe Xu
2024	—	`conf`	Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment. CLeaR Jan Corazza, Hadi Partovi Aria, Daniel Neider, Zhe Xu
2024	J	`jnl`	Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. IEEE Trans. Intell. Veh. Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
2024	J	`jnl`	Hierarchical Control for Head-to-Head Autonomous Racing. Field Robotics Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
2024	J	`jnl`	Multi-Agent Reinforcement Learning in Non-Cooperative Stochastic Games Using Large Language Models. IEEE Control. Syst. Lett. Shayan Meshkat Alsadat, Zhe Xu
2024	J	`jnl`	Multi-Trigger-Key: Toward Multi-Task Privacy Preserving in Deep Learning. IEEE Access Ren Wang, Zhe Xu, Alfred O. Hero III
2024	J	`jnl`	Pontryagin Neural Operator for Solving Parametric General-Sum Differential Games. CoRR Lei Zhang, Mukesh Ghimire, Zhe Xu, Wenlong Zhang, Yi Ren
2024	—	`conf`	Pontryagin neural operator for solving general-sum differential games with parametric state constraints. L4DC Lei Zhang, Mukesh Ghimire, Zhe Xu, Wenlong Zhang, Yi Ren
2024	J	`jnl`	Privacy-Utility Tradeoffs Against Limited Adversaries. IEEE Trans. Autom. Control. Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu
2024	C	`conf`	Solving Two-Player General-Sum Game Between Swarms. ACC Mukesh Ghimire, Lei Zhang, Wenlong Zhang, Yi Ren, Zhe Xu
2024	A*	`conf`	State-Constrained Zero-Sum Differential Games with One-Sided Information. ICML Mukesh Ghimire, Lei Zhang, Zhe Xu, Yi Ren
2024	J	`jnl`	State-Constrained Zero-Sum Differential Games with One-Sided Information. CoRR Mukesh Ghimire, Lei Zhang, Zhe Xu, Yi Ren
2024	—	`conf`	Temporal-Logic-Based Causal Fairness Analysis. CDC Nasim Baharisangari, Anirudh Pydah, Shiyou Wu, Zhe Xu
2024	J	`jnl`	Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. CoRR Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2024	J	`jnl`	Value Approximation for Two-Player General-Sum Differential Games With State Constraints. IEEE Trans. Robotics Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren
2023	A*	`conf`	Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games. ICRA Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren
2023	J	`jnl`	Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. IEEE Access Zhe Xu, Federico M. Zegers, Nasim Baharisangari, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
2023	J	`jnl`	Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference. CoRR Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong
2023	A*	`conf`	Learning Interpretable Temporal Properties from Positive Examples Only. AAAI Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2023	—	`conf`	Non-Parametric Neuro-Adaptive Control. ECC Christos K. Verginis, Zhe Xu, Ufuk Topcu
2023	J	`jnl`	Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. IEEE Trans. Autom. Control. Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
2023	J	`jnl`	Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. IEEE Trans. Autom. Control. Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
2023	J	`jnl`	Reactive synthesis for relay-explorer consensus with intermittent communication. Autom. Runhan Sun, Suda Bharadwaj, Zhe Xu, Ufuk Topcu, Warren E. Dixon
2023	J	`jnl`	Reinforcement Learning With Reward Machines in Stochastic Games. CoRR Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
2023	A	`conf`	Reinforcement Learning with Reward Machines in Stochastic Games. ECAI Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
2023	C	`conf`	Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023	J	`jnl`	Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023	J	`jnl`	Solving Two-Player General-Sum Games Between Swarms. CoRR Mukesh Ghimire, Lei Zhang, Wenlong Zhang, Yi Ren, Zhe Xu
2023	J	`jnl`	Value Approximation for Two-Player General-Sum Differential Games with State Constraints. CoRR Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren
2022	J	`jnl`	Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games. CoRR Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren
2022	J	`jnl`	Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. IEEE Trans. Autom. Control. Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. CoRR Nasim Baharisangari, Zhe Xu
2022	J	`jnl`	Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. CoRR Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Hierarchical Control for Multi-Agent Autonomous Racing. CoRR Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Learning Interpretable Temporal Properties from Positive Examples Only. CoRR Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	MaxSAT-based temporal logic inference from noisy data. Innov. Syst. Softw. Eng. Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2022	A	`conf`	Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. AAMAS Christos K. Verginis, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Non-Parametric Neuro-Adaptive Formation Control. CoRR Christos K. Verginis, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. IEEE Control. Syst. Lett. Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
2022	C	`conf`	When Shall I Estimate Your Intent? Costs and Benefits of Intent Inference in Multi-Agent Interactions. ACC Sunny Amatya, Mukesh Ghimire, Yi Ren, Zhe Xu, Wenlong Zhang
2021	C	`conf`	Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CD-MAKE Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu
2021	A*	`conf`	Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners. AAAI Zhe Xu, Yuxin Chen, Ufuk Topcu
2021	A*	`conf`	Advice-Guided Reinforcement Learning in a non-Markovian Environment. AAAI Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
2021	J	`jnl`	Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. CoRR Zhe Xu, Federico M. Zegers, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
2021	J	`jnl`	Decentralized Graph-Based Multi-Agent Reinforcement Learning Using Reward Machines. CoRR Jueming Hu, Zhe Xu, Weichang Wang, Guannan Qu, Yutian Pang, Yongming Liu
2021	J	`jnl`	Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2021	J	`jnl`	Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. CoRR Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021	B	`conf`	Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021	J	`jnl`	Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning. CoRR Ren Wang, Zhe Xu, Alfred O. Hero III
2021	J	`jnl`	Non-Parametric Neuro-Adaptive Control Subject to Task Specifications. CoRR Christos K. Verginis, Zhe Xu, Ufuk Topcu
2021	J	`jnl`	Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. CoRR Christos K. Verginis, Zhe Xu, Ufuk Topcu
2021	J	`jnl`	Privacy-Utility Trade-Offs Against Limited Adversaries. CoRR Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu
2021	J	`jnl`	Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. CoRR Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
2021	—	`conf`	Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. CDC Zhe Xu, Yichen Zhang
2021	J	`jnl`	Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. CoRR Zhe Xu, Yichen Zhang
2021	A	`conf`	Reward Machines for Cooperative Multi-Agent Reinforcement Learning. AAMAS Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
2021	—	`conf`	Robust Low-Rank Tensor Recovery From Quantized and Corrupted Measurements. ACSCC Ren Wang, Tianqi Chen, Zhe Xu, Pengzhi Gao
2021	—	`conf`	Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic. CDC Zhe Xu, Xiaoming Duan
2021	J	`jnl`	Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic. CoRR Zhe Xu, Xiaoming Duan
2021	—	`conf`	Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. CDC Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon
2021	J	`jnl`	Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. CoRR Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon
2021	—	`conf`	Uncertainty-Aware Signal Temporal Logic Inference. VSTTE Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2021	J	`jnl`	Uncertainty-Aware Signal Temporal logic. CoRR Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2021	J	`jnl`	Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. CoRR Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
2020	J	`jnl`	Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CoRR Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu
2020	—	`conf`	Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CDC Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
2020	J	`jnl`	Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CoRR Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
2020	J	`jnl`	Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences. CoRR Zhe Xu, Yuxin Chen, Ufuk Topcu
2020	J	`jnl`	Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. CoRR Zhe Xu, Bo Wu, Ufuk Topcu
2020	C	`conf`	Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. ACC Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu
2020	J	`jnl`	Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. CoRR Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2020	A*	`conf`	Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2020	A	`conf`	Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. AAMAS Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. CoRR Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. CoRR Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
2020	—	`conf`	Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications. Robotics: Science and Systems Franck Djeumou, Zhe Xu, Ufuk Topcu
2020	C	`conf`	Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Reward Machines for Cooperative Multi-Agent Reinforcement Learning. CoRR Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
2020	J	`jnl`	Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems. CoRR Zhe Xu
2020	J	`jnl`	Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties. CoRR Zhe Xu, Yi Deng, Agung Julius
2019	J	`jnl`	Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots. IEEE Trans Autom. Sci. Eng. Zhe Xu, Sayan Saha, Botao Hu, Sandipan Mishra, A. Agung Julius
2019	—	`conf`	Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach. Allerton Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu
2019	J	`jnl`	Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach. CoRR Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu
2019	J	`jnl`	Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications. CoRR Zhe Xu, Agung Julius, Ufuk Topcu, Joe H. Chow
2019	J	`jnl`	Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. CoRR Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu
2019	J	`jnl`	Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications. IEEE Syst. J. Zhe Xu, Agung Julius, Joe H. Chow
2019	—	`conf`	Graph Temporal Logic Inference for Classification and Identification. CDC Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
2019	J	`jnl`	Graph Temporal Logic Inference for Classification and Identification. CoRR Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
2019	C	`conf`	Information-Guided Temporal Logic Inference with Prior Knowledge. ACC Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
2019	J	`jnl`	Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2019	J	`jnl`	Minimizing the Information Leakage Regarding High-Level Task Specifications. CoRR Michael Hibbard, Yagiz Savas, Zhe Xu, Ufuk Topcu
2019	J	`jnl`	Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems. IEEE Syst. J. Zhe Xu, A. Agung Julius
2019	J	`jnl`	Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis. IEEE Robotics Autom. Lett. Ruixuan Yan, Zhe Xu, Agung Julius
2019	A*	`conf`	Transfer of Temporal Logic Formulas in Reinforcement Learning. IJCAI Zhe Xu, Ufuk Topcu
2019	J	`jnl`	Transfer of Temporal Logic Formulas in Reinforcement Learning. CoRR Zhe Xu, Ufuk Topcu
2018	J	`jnl`	Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis. IEEE Trans Autom. Sci. Eng. Zhe Xu, A. Agung Julius
2018	C	`conf`	Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications. ACC Zhe Xu, Agung Julius, Joe H. Chow
2018	J	`jnl`	Information-Guided Temporal Logic Inference with Prior Knowledge. CoRR Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
2018	C	`conf`	Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings. ACC Zhe Xu, Yi Deng, Agung Julius
2018	J	`jnl`	Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage. IEEE Syst. J. Zhe Xu, A. Agung Julius, Joe H. Chow
2017	C	`conf`	Optimal energy storage control for frequency regulation under temporal logic specifications. ACC Zhe Xu, Agung Julius, Joe H. Chow
2017	—	`conf`	Provably correct design of observations for fault detection with privacy preservation. CDC Zhe Xu, Sayan Saha, Agung Julius
2016	J	`jnl`	Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis. CoRR Zhe Xu, Agung Julius
2015	—	`conf`	Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. ADHS Zhe Xu, Calin Belta, Agung Julius