| 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 | 115 | 2020 |
| Transfer of Temporal Logic Formulas in Reinforcement Learning Z Xu, U Topcu 28th International Joint Conference on Artificial Intelligence (IJCAI), 2019 | 69 | 2019 |
| Reward Machines for Cooperative Multi-Agent Reinforcement Learning C Neary, Z Xu, B Wu, U Topcu arXiv preprint arXiv:2007.01962, 2020 | 61 | 2020 |
| 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 | 59 | 2016 |
| 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 | 58 | 2021 |
| 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 | 47 | 2021 |
| 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 | 38 | 2021 |
| 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 | 37 | 2020 |
| 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 | 35 | 2021 |
| Information-Guided Temporal Logic Inference with Prior Knowledge Z Xu, M Ornik, A Julius, U Topcu 2019 Proc. American Control Conference (ACC), 2019 | 35 | 2019 |
| 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 | 34 | 2019 |
| 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 | 30 | 2019 |
| 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 | 30 | 2015 |
| 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 | 29 | 2017 |
| Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis R Yan, Z Xu, A Julius IEEE Robotics and Automation Letters, 2019 | 28 | 2019 |
| 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 | 27 | 2019 |
| 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 | 24 | 2016 |
| Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications F Djeumou, Z Xu, U Topcu Robotics: Science and Systems, 2020 | 23 | 2020 |
| Learning Interpretable Temporal Properties from Positive Examples Only R Roy, JR Gaglione, N Baharisangari, D Neider, Z Xu, U Topcu The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI-23), 2023 | 22 | 2023 |
| Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems Z Xu, AA Julius IEEE systems journal 13 (3), 3010 - 3021, 2019 | 21 | 2019 |
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu