Follow
Zhe Xu
Title
Cited by
Cited by
Year
Joint inference of reward machines and policies for reinforcement learning
Z Xu, I Gavran, Y Ahmad, R Majumdar, D Neider, U Topcu, B Wu
Proceedings of the International Conference on Automated Planning and …, 2020
892020
Transfer of Temporal Logic Formulas in Reinforcement Learning
Z Xu, U Topcu
28th International Joint Conference on Artificial Intelligence (IJCAI), 2019
562019
Census signal temporal logic inference for multiagent group behavior analysis
Z Xu, AA Julius
IEEE Transactions on Automation Science and Engineering 15 (1), 264-277, 2016
522016
Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach
Z Xu, B Wu, U Topcu
PloS one 16 (3), e0247660, 2021
502021
Reward Machines for Cooperative Multi-Agent Reinforcement Learning
C Neary, Z Xu, B Wu, U Topcu
arXiv preprint arXiv:2007.01962, 2020
412020
Information-Guided Temporal Logic Inference with Prior Knowledge
Z Xu, M Ornik, A Julius, U Topcu
2019 Proc. American Control Conference (ACC), 2019
332019
Advice-Guided Reinforcement Learning in a non-Markovian Environment
D Neider, JR Gaglione, I Gavran, U Topcu, B Wu, Z Xu
Proceedings of the AAAI Conference on Artificial Intelligence 35 (10), 9073-9080, 2021
322021
Active task-inference-guided deep inverse reinforcement learning
F Memarian, Z Xu, B Wu, M Wen, U Topcu
2020 59th IEEE Conference on Decision and Control (CDC), 1932-1938, 2020
302020
Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots
Z Xu, S Saha, B Hu, S Mishra, AA Julius
IEEE Transactions on Automation Science and Engineering 16 (1), 459-477, 2019
302019
Temporal logic inference with prior information: An application to robot arm movements
Z Xu, C Belta, A Julius
IFAC-PapersOnLine 48 (27), 141-146, 2015
302015
Controller Synthesis For Multi-Agent Systems with Intermittent Communication: A Metric Temporal Logic Approach
Z Xu, Z Federico M., B Wu, WE Dixon, U Topcu
57th Annual Allerton Conference on Communication, Control, and Computing, 2019
282019
Energy storage controller synthesis for power systems with temporal logic specifications
Z Xu, A Julius, JH Chow
IEEE Systems Journal 13 (1), 748 - 759, 2017
272017
Active finite reward automaton inference and reinforcement learning using queries and counterexamples
Z Xu, B Wu, A Ojha, D Neider, U Topcu
International Cross-Domain Conference for Machine Learning and Knowledge …, 2021
262021
Graph Temporal Logic Inference for Classification and Identification
Z Xu, AJ Nettekoven, AA Julius, U Topcu
2019 IEEE 58th Annual Conference on Decision and Control (CDC), 2019
262019
Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis
R Yan, Z Xu, A Julius
IEEE Robotics and Automation Letters, 2019
252019
A temporal logic inference approach for model discrimination
Z Xu, M Birtwistle, C Belta, A Julius
IEEE life sciences letters 2 (3), 19-22, 2016
242016
Learning linear temporal properties from noisy data: a maxsat-based approach
JR Gaglione, D Neider, R Roy, U Topcu, Z Xu
Automated Technology for Verification and Analysis: 19th International …, 2021
232021
A new direct power control strategy for NPC three-level voltage source rectifiers using a novel vector influence table method
CL Xia, Z Xu, JX Zhao
Journal of Power Electronics 15 (1), 106-115, 2015
212015
Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications
F Djeumou, Z Xu, U Topcu
Robotics: Science and Systems, 2020
202020
Robust testing of cascading failure mitigations based on power dispatch and quick-start storage
Z Xu, AA Julius, JH Chow
IEEE Systems Journal 12 (4), 3063 - 3074, 2017
202017
The system can't perform the operation now. Try again later.
Articles 1–20