Zhe Xu
Citado por
Citado por
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
Transfer of Temporal Logic Formulas in Reinforcement Learning
Z Xu, U Topcu
28th International Joint Conference on Artificial Intelligence (IJCAI), 2019
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
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
Reward Machines for Cooperative Multi-Agent Reinforcement Learning
C Neary, Z Xu, B Wu, U Topcu
arXiv preprint arXiv:2007.01962, 2020
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
Information-Guided Temporal Logic Inference with Prior Knowledge
Z Xu, M Ornik, A Julius, U Topcu
2019 Proc. American Control Conference (ACC), 2019
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
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
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
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
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
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
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
Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis
R Yan, Z Xu, A Julius
IEEE Robotics and Automation Letters, 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
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
Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications
F Djeumou, Z Xu, U Topcu
Robotics: Science and Systems, 2020
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20