Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. - Zhe Xu 005; Calin Belta; Agung Julius (ADHS, 2015)

Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis. - Zhe Xu 005; Agung Julius (CoRR, 2016)

Optimal energy storage control for frequency regulation under temporal logic specifications. - Zhe Xu 005; Agung Julius; Joe H. Chow (ACC, 2017)

Provably correct design of observations for fault detection with privacy preservation. - Zhe Xu 005; Sayan Saha; Agung Julius (CDC, 2017)

Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings. - Zhe Xu 005; Yi Deng 004; Agung Julius (ACC, 2018)

Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications. - Zhe Xu 005; Agung Julius; Joe H. Chow (ACC, 2018)

Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage. - Zhe Xu 005; A. Agung Julius; Joe H. Chow (IEEE Syst. J., 2018)

Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis. - Zhe Xu 005; A. Agung Julius (IEEE Trans Autom. Sci. Eng., 2018)

Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach. - Zhe Xu 005; Federico M. Zegers; Bo Wu 005; Warren E. Dixon; Ufuk Topcu (Allerton, 2019)

Information-Guided Temporal Logic Inference with Prior Knowledge. - Zhe Xu 005; Melkior Ornik; A. Agung Julius; Ufuk Topcu (ACC, 2019)

Graph Temporal Logic Inference for Classification and Identification. - Zhe Xu 005; Alexander J. Nettekoven; A. Agung Julius; Ufuk Topcu (CDC, 2019)

Transfer of Temporal Logic Formulas in Reinforcement Learning. - Zhe Xu 005; Ufuk Topcu (IJCAI, 2019)

Minimizing the Information Leakage Regarding High-Level Task Specifications. - Michael Hibbard; Yagiz Savas; Zhe Xu 005; Ufuk Topcu (CoRR, 2019)

Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications. - Zhe Xu 005; Agung Julius; Ufuk Topcu; Joe H. Chow (CoRR, 2019)

Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis. - Ruixuan Yan; Zhe Xu 005; Agung Julius (IEEE Robotics Autom. Lett., 2019)

Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems. - Zhe Xu 005; A. Agung Julius (IEEE Syst. J., 2019)

Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications. - Zhe Xu 005; Agung Julius; Joe H. Chow (IEEE Syst. J., 2019)

Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots. - Zhe Xu 005; Sayan Saha; Botao Hu; Sandipan Mishra; A. Agung Julius (IEEE Trans Autom. Sci. Eng., 2019)

Joint Inference of Reward Machines and Policies for Reinforcement Learning. - Zhe Xu 005; Ivan Gavran; Yousef Ahmad; Rupak Majumdar; Daniel Neider; Ufuk Topcu; Bo Wu 005 (ICAPS, 2020)

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. - Bo Wu 005; Steven Carr 002; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu (ACC, 2020)

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. - Zhe Xu 005; Kasra Yazdani; Matthew T. Hale; Ufuk Topcu (ACC, 2020)

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. - Murat Cubuktepe; Zhe Xu 005; Ufuk Topcu (AAMAS, 2020)

Active Task-Inference-Guided Deep Inverse Reinforcement Learning. - Farzan Memarian; Zhe Xu 005; Bo Wu 005; Min Wen; Ufuk Topcu (CDC, 2020)

Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications. - Franck Djeumou; Zhe Xu 005; Ufuk Topcu (Robotics: Science and Systems, 2020)

Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences. - Zhe Xu 005; Yuxin Chen 001; Ufuk Topcu (CoRR, 2020)

Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties. - Zhe Xu 005; Yi Deng 004; Agung Julius (CoRR, 2020)

Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems. - Zhe Xu 005 (CoRR, 2020)

Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. - Murat Cubuktepe; Zhe Xu 005; Ufuk Topcu (CoRR, 2020)

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. - Zhe Xu 005; Bo Wu 005; Daniel Neider; Ufuk Topcu (CoRR, 2020)

Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. - Zhe Xu 005; Bo Wu 005; Ufuk Topcu (CoRR, 2020)

Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners. - Zhe Xu 005; Yuxin Chen 001; Ufuk Topcu (AAAI, 2021)

Advice-Guided Reinforcement Learning in a non-Markovian Environment. - Daniel Neider; Jean-Raphaël Gaglione; Ivan Gavran; Ufuk Topcu; Bo Wu 005; Zhe Xu 005 (AAAI, 2021)

Robust Low-Rank Tensor Recovery From Quantized and Corrupted Measurements. - Ren Wang 008; Tianqi Chen; Zhe Xu 005; Pengzhi Gao (ACSCC, 2021)

Reward Machines for Cooperative Multi-Agent Reinforcement Learning. - Cyrus Neary; Zhe Xu 005; Bo Wu 005; Ufuk Topcu (AAMAS, 2021)

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. - Jean-Raphaël Gaglione; Daniel Neider; Rajarshi Roy 002; Ufuk Topcu; Zhe Xu 005 (ATVA, 2021)

Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. - Aris Kanellopoulos; Filippos Fotiadis; Chuangchuang Sun; Zhe Xu 005; Kyriakos G. Vamvoudakis; Ufuk Topcu; Warren E. Dixon (CDC, 2021)

Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic. - Zhe Xu 005; Xiaoming Duan (CDC, 2021)

Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. - Zhe Xu 005; Yichen Zhang 001 (CDC, 2021)

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. - Zhe Xu 005; Bo Wu 005; Aditya Ojha; Daniel Neider; Ufuk Topcu (CD-MAKE, 2021)

Uncertainty-Aware Signal Temporal Logic Inference. - Nasim Baharisangari; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (VSTTE, 2021)

Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. - Zhe Xu 005; Federico M. Zegers; Bo Wu 005; Alexander J. Phillips; Warren E. Dixon; Ufuk Topcu (CoRR, 2021)

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. - Jean-Raphaël Gaglione; Daniel Neider; Rajarshi Roy 002; Ufuk Topcu; Zhe Xu 005 (CoRR, 2021)

Uncertainty-Aware Signal Temporal logic. - Nasim Baharisangari; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (CoRR, 2021)

Non-Parametric Neuro-Adaptive Control Subject to Task Specifications. - Christos K. Verginis; Zhe Xu 005; Ufuk Topcu (CoRR, 2021)

Privacy-Utility Trade-Offs Against Limited Adversaries. - Xiaoming Duan; Zhe Xu 005; Rui Yan 002; Ufuk Topcu (CoRR, 2021)

Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning. - Ren Wang 008; Zhe Xu 005; Alfred O. Hero III (CoRR, 2021)

Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. - Murat Cubuktepe; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Control. Netw. Syst., 2021)

When Shall I Estimate Your Intent? Costs and Benefits of Intent Inference in Multi-Agent Interactions. - Sunny Amatya; Mukesh Ghimire; Yi Ren; Zhe Xu 005; Wenlong Zhang (ACC, 2022)

Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. - Christos K. Verginis; Zhe Xu 005; Ufuk Topcu (AAMAS, 2022)

Hierarchical Control for Multi-Agent Autonomous Racing. - Rishabh Saumil Thakkar; Aryaman Singh Samyal; David Fridovich-Keil; Zhe Xu 005; Ufuk Topcu (CoRR, 2022)

Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. - Nasim Baharisangari; Zhe Xu 005 (CoRR, 2022)

Learning Temporal Logic Properties: an Overview of Two Recent Methods. - Jean-Raphaël Gaglione; Rajarshi Roy 002; Nasim Baharisangari; Daniel Neider; Zhe Xu 005; Ufuk Topcu (CoRR, 2022)

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. - Nasim Baharisangari; Kazuma Hirota; Ruixuan Yan; Agung Julius; Zhe Xu 005 (IEEE Control. Syst. Lett., 2022)

MaxSAT-based temporal logic inference from noisy data. - Jean-Raphaël Gaglione; Daniel Neider; Rajarshi Roy 002; Ufuk Topcu; Zhe Xu 005 (Innov. Syst. Softw. Eng., 2022)

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. - Bo Wu 005; Steven Carr 002; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2022)

Learning Interpretable Temporal Properties from Positive Examples Only. - Rajarshi Roy 002; Jean-Raphaël Gaglione; Nasim Baharisangari; Daniel Neider; Zhe Xu 005; Ufuk Topcu (AAAI, 2023)

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. - Yash Paliwal; Rajarshi Roy 002; Jean-Raphaël Gaglione; Nasim Baharisangari; Daniel Neider; Xiaoming Duan; Ufuk Topcu; Zhe Xu 005 (CD-MAKE, 2023)

Reinforcement Learning with Reward Machines in Stochastic Games. - Jueming Hu; Jean-Raphaël Gaglione; Yanze Wang; Zhe Xu 005; Ufuk Topcu; Yongming Liu (ECAI, 2023)

Non-Parametric Neuro-Adaptive Control. - Christos K. Verginis; Zhe Xu 005; Ufuk Topcu (ECC, 2023)

Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games. - Lei Zhang; Mukesh Ghimire; Wenlong Zhang; Zhe Xu 005; Yi Ren (ICRA, 2023)

Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. - Zhe Xu 005; Federico M. Zegers; Nasim Baharisangari; Bo Wu 005; Alexander J. Phillips; Warren E. Dixon; Ufuk Topcu (IEEE Access, 2023)

Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference. - Zeyuan Jin; Nasim Baharisangari; Zhe Xu 005; Sze Zheng Yong (CoRR, 2023)

Solving Two-Player General-Sum Games Between Swarms. - Mukesh Ghimire; Lei Zhang; Wenlong Zhang; Yi Ren; Zhe Xu 005 (CoRR, 2023)

Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. - Franck Djeumou; Zhe Xu 005; Murat Cubuktepe; Ufuk Topcu (IEEE Trans. Autom. Control., 2023)

Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. - Bo Wu 005; Murat Cubuktepe; Franck Djeumou; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2023)

Reactive synthesis for relay-explorer consensus with intermittent communication. - Runhan Sun; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu; Warren E. Dixon (Autom., 2023)

Distributed Reinforcement Learning For Swarm Systems With Reward Machines. - Shayan Meshkat Alsadat; Nasim Baharisangari; Yash Paliwal; Zhe Xu 005 (ACC, 2024)

Counterfactually-Guided Causal Reinforcement Learning with Reward Machines. - Nasim Baharisangari; Yash Paliwal; Zhe Xu 005 (ACC, 2024)

Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. - Nasim Baharisangari; Narendhiran Saravanane; Zhe Xu 005 (ACC, 2024)

Solving Two-Player General-Sum Game Between Swarms. - Mukesh Ghimire; Lei Zhang; Wenlong Zhang; Yi Ren; Zhe Xu 005 (ACC, 2024)

Temporal-Logic-Based Causal Fairness Analysis. - Nasim Baharisangari; Anirudh Pydah; Shiyou Wu; Zhe Xu 005 (CDC, 2024)

Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment. - Jan Corazza; Hadi Partovi Aria; Daniel Neider; Zhe Xu 005 (CLeaR, 2024)

State-Constrained Zero-Sum Differential Games with One-Sided Information. - Mukesh Ghimire; Lei Zhang; Zhe Xu 005; Yi Ren (ICML, 2024)

Distributed on-the-fly control of multi-agent systems with unknown dynamics: Using limited data to obtain near-optimal control. - Shayan Meshkat Alsadat; Nasim Baharisangari; Zhe Xu 005 (L4DC, 2024)

Pontryagin neural operator for solving general-sum differential games with parametric state constraints. - Lei Zhang; Mukesh Ghimire; Zhe Xu 005; Wenlong Zhang; Yi Ren (L4DC, 2024)

Multi-Trigger-Key: Toward Multi-Task Privacy Preserving in Deep Learning. - Ren Wang 008; Zhe Xu 005; Alfred O. Hero III (IEEE Access, 2024)

Pontryagin Neural Operator for Solving Parametric General-Sum Differential Games. - Lei Zhang; Mukesh Ghimire; Zhe Xu 005; Wenlong Zhang; Yi Ren (CoRR, 2024)

Multi-Agent Reinforcement Learning in Non-Cooperative Stochastic Games Using Large Language Models. - Shayan Meshkat Alsadat; Zhe Xu 005 (IEEE Control. Syst. Lett., 2024)

Hierarchical Control for Head-to-Head Autonomous Racing. - Rishabh Saumil Thakkar; Aryaman Singh Samyal; David Fridovich-Keil; Zhe Xu 005; Ufuk Topcu (Field Robotics, 2024)

Value Approximation for Two-Player General-Sum Differential Games With State Constraints. - Lei Zhang; Mukesh Ghimire; Wenlong Zhang; Zhe Xu 005; Yi Ren (IEEE Trans. Robotics, 2024)

Decentralized graph-based multi-agent reinforcement learning using reward machines. - Jueming Hu; Zhe Xu 005; Weichang Wang; Guannan Qu; Yutian Pang; Yongming Liu (Neurocomputing, 2024)

Privacy-Utility Tradeoffs Against Limited Adversaries. - Xiaoming Duan; Zhe Xu 005; Rui Yan 002; Ufuk Topcu (IEEE Trans. Autom. Control., 2024)

Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. - Rishabh Saumil Thakkar; Aryaman Singh Samyal; David Fridovich-Keil; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Intell. Veh., 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 005 (ACC, 2025)

Trajectory-Based Automata Learning for Offline Reinforcement Learning. - Shayan Meshkat Alsadat; Zhe Xu 005 (ACC, 2025)

Multi-Agent Causal Dynamics Learning for Temporally Extended Tasks with Reward Machine Inference. - Hadi Partovi Aria; Zhe Xu 005 (ACC, 2025)

Mining Causal Signal Temporal Logic Formulas for Efficient Reinforcement Learning with Temporally Extended Tasks. - Hadi Partovi Aria; Zhe Xu 005 (NeuS, 2025)

On the detection of Markov decision processes. - Xiaoming Duan; Yagiz Savas; Rui Yan 002; Zhe Xu 005; Ufuk Topcu (Autom., 2025)

Swarm-Level Task Learning via Generalized Moments in Reinforcement Learning With Reward Machines. - Shayan Meshkat Alsadat; Vivek Sunil Kulkarni; Zhe Xu 005 (IEEE Control. Syst. Lett., 2025)

Non-Parametric Neuro-Adaptive Formation Control. - Christos K. Verginis; Zhe Xu 005; Ufuk Topcu (IEEE Trans Autom. Sci. Eng., 2025)

A Scalable Solver for 2p0s Differential Games with One-Sided Payoff Information and Continuous Actions, States, and Time. - Mukesh Ghimire; Lei Zhang; Zhe Xu 005; Yi Ren (CoRR, 2025)

Two-Player Zero-Sum Differential Games with One-Sided Information. - Mukesh Ghimire; Zhe Xu 005; Yi Ren (CoRR, 2025)

Parametric Value Approximation for General-sum Differential Games with State Constraints. - Lei Zhang; Mukesh Ghimire; Wenlong Zhang; Zhe Xu 005; Yi Ren (CoRR, 2025)

Decentralizing Multi-Agent Reinforcement Learning with Temporal Causal Information. - Jan Corazza; Hadi Partovi Aria; Hyohun Kim; Daniel Neider; Zhe Xu 005 (CoRR, 2025)

Successor Features for Transfer in Alternating Markov Games. - Sunny Amatya; Yi Ren; Zhe Xu 005; Wenlong Zhang (CoRR, 2025)