The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Zhe Xu 0005" ( http://dblp.L3S.de/Authors/Zhe_Xu_0005 )

URL (Homepage):  https://orcid.org/0000-0002-0440-0912  Author page on DBLP  Author page in RDF  Community of Zhe Xu 0005 in ASPL-2

Publication years (Num. hits)
2015-2019 (24) 2020 (17) 2021 (23) 2022 (9)
Publication types (Num. hits)
article(47) inproceedings(26)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 74 publication records. Showing 73 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu 0005 Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Bo Wu 0005, Steven Carr, Suda Bharadwaj, Zhe Xu 0005, Ufuk Topcu Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu 0005, Ufuk Topcu Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Christos K. Verginis, Zhe Xu 0005, Ufuk Topcu Non-Parametric Neuro-Adaptive Formation Control. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nasim Baharisangari, Zhe Xu 0005 Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Rajarshi Roy 0002, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu 0005, Ufuk Topcu Learning Interpretable Temporal Properties from Positive Examples Only. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu 0005, Ufuk Topcu Hierarchical Control for Multi-Agent Autonomous Racing. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
1Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy 0002, Ufuk Topcu, Zhe Xu 0005 MaxSAT-based temporal logic inference from noisy data. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Christos K. Verginis, Zhe Xu 0005, Ufuk Topcu Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. (PDF / PS) Search on Bibsonomy AAMAS The full citation details ... 2022 DBLP  BibTeX  RDF
1Christos K. Verginis, Zhe Xu 0005, Ufuk Topcu Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Zhe Xu 0005, Xiaoming Duan Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu 0005 Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Zhe Xu 0005, Federico M. Zegers, Bo Wu 0005, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Christos K. Verginis, Zhe Xu 0005, Ufuk Topcu Non-Parametric Neuro-Adaptive Control Subject to Task Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu 0005, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Ren Wang 0008, Zhe Xu 0005, Alfred O. Hero III Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Zhe Xu 0005, Yichen Zhang Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy 0002, Ufuk Topcu, Zhe Xu 0005 Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu 0005 Uncertainty-Aware Signal Temporal logic. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Franck Djeumou, Zhe Xu 0005, Murat Cubuktepe, Ufuk Topcu Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Xiaoming Duan, Zhe Xu 0005, Rui Yan 0002, Ufuk Topcu Privacy-Utility Trade-Offs Against Limited Adversaries. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Murat Cubuktepe, Zhe Xu 0005, Ufuk Topcu Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. Search on Bibsonomy IEEE Trans. Control. Netw. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu 0005 Uncertainty-Aware Signal Temporal Logic Inference. Search on Bibsonomy VSTTE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Bo Wu 0005, Aditya Ojha, Daniel Neider, Ufuk Topcu Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. Search on Bibsonomy CD-MAKE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy 0002, Ufuk Topcu, Zhe Xu 0005 Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. Search on Bibsonomy ATVA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu 0005, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. Search on Bibsonomy CDC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Yichen Zhang Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. Search on Bibsonomy CDC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Xiaoming Duan Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic. Search on Bibsonomy CDC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Ren Wang 0008, Tianqi Chen, Zhe Xu 0005, Pengzhi Gao Robust Low-Rank Tensor Recovery From Quantized and Corrupted Measurements. Search on Bibsonomy ACSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu 0005, Zhe Xu 0005 Advice-Guided Reinforcement Learning in a non-Markovian Environment. Search on Bibsonomy AAAI The full citation details ... 2021 DBLP  BibTeX  RDF
1Zhe Xu 0005, Yuxin Chen 0001, Ufuk Topcu Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners. Search on Bibsonomy AAAI The full citation details ... 2021 DBLP  BibTeX  RDF
1Cyrus Neary, Zhe Xu 0005, Bo Wu 0005, Ufuk Topcu Reward Machines for Cooperative Multi-Agent Reinforcement Learning. (PDF / PS) Search on Bibsonomy AAMAS The full citation details ... 2021 DBLP  BibTeX  RDF
1Zhe Xu 0005, Yi Deng 0004, Agung Julius Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Cyrus Neary, Zhe Xu 0005, Bo Wu 0005, Ufuk Topcu Reward Machines for Cooperative Multi-Agent Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Bo Wu 0005, Steven Carr, Suda Bharadwaj, Zhe Xu 0005, Ufuk Topcu Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Zhe Xu 0005, Bo Wu 0005, Ufuk Topcu Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Zhe Xu 0005, Bo Wu 0005, Daniel Neider, Ufuk Topcu Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Murat Cubuktepe, Zhe Xu 0005, Ufuk Topcu Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Zhe Xu 0005, Yuxin Chen 0001, Ufuk Topcu Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Zhe Xu 0005 Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Bo Wu 0005, Murat Cubuktepe, Franck Djeumou, Zhe Xu 0005, Ufuk Topcu Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Murat Cubuktepe, Zhe Xu 0005, Ufuk Topcu Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Farzan Memarian, Zhe Xu 0005, Bo Wu 0005, Min Wen, Ufuk Topcu Active Task-Inference-Guided Deep Inverse Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Zhe Xu 0005, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. Search on Bibsonomy ACC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Bo Wu 0005, Steven Carr, Suda Bharadwaj, Zhe Xu 0005, Ufuk Topcu Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. Search on Bibsonomy ACC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Farzan Memarian, Zhe Xu 0005, Bo Wu 0005, Min Wen, Ufuk Topcu Active Task-Inference-Guided Deep Inverse Reinforcement Learning. Search on Bibsonomy CDC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Franck Djeumou, Zhe Xu 0005, Ufuk Topcu Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications. Search on Bibsonomy Robotics: Science and Systems The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu 0005 Joint Inference of Reward Machines and Policies for Reinforcement Learning. Search on Bibsonomy ICAPS The full citation details ... 2020 DBLP  BibTeX  RDF
1Murat Cubuktepe, Zhe Xu 0005, Ufuk Topcu Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. (PDF / PS) Search on Bibsonomy AAMAS The full citation details ... 2020 DBLP  BibTeX  RDF
1Ruixuan Yan, Zhe Xu 0005, Agung Julius Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Agung Julius, Joe H. Chow Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications. Search on Bibsonomy IEEE Syst. J. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, A. Agung Julius Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems. Search on Bibsonomy IEEE Syst. J. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhe Xu 0005, Federico M. Zegers, Bo Wu 0005, Warren E. Dixon, Ufuk Topcu Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhe Xu 0005, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu 0005 Joint Inference of Reward Machines and Policies for Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhe Xu 0005, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu Graph Temporal Logic Inference for Classification and Identification. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhe Xu 0005, Ufuk Topcu Transfer of Temporal Logic Formulas in Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Hibbard, Yagiz Savas, Zhe Xu 0005, Ufuk Topcu Minimizing the Information Leakage Regarding High-Level Task Specifications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhe Xu 0005, Agung Julius, Ufuk Topcu, Joe H. Chow Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhe Xu 0005, Sayan Saha, Botao Hu, Sandipan Mishra, A. Agung Julius Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots. Search on Bibsonomy IEEE Trans Autom. Sci. Eng. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Melkior Ornik, A. Agung Julius, Ufuk Topcu Information-Guided Temporal Logic Inference with Prior Knowledge. Search on Bibsonomy ACC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu Graph Temporal Logic Inference for Classification and Identification. Search on Bibsonomy CDC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Federico M. Zegers, Bo Wu 0005, Warren E. Dixon, Ufuk Topcu Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach. Search on Bibsonomy Allerton The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Ufuk Topcu Transfer of Temporal Logic Formulas in Reinforcement Learning. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, A. Agung Julius, Joe H. Chow Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage. Search on Bibsonomy IEEE Syst. J. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Melkior Ornik, A. Agung Julius, Ufuk Topcu Information-Guided Temporal Logic Inference with Prior Knowledge. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zhe Xu 0005, A. Agung Julius Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis. Search on Bibsonomy IEEE Trans Autom. Sci. Eng. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Agung Julius, Joe H. Chow Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Yi Deng 0004, Agung Julius Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Agung Julius, Joe H. Chow Optimal energy storage control for frequency regulation under temporal logic specifications. Search on Bibsonomy ACC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Sayan Saha, Agung Julius Provably correct design of observations for fault detection with privacy preservation. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhe Xu 0005, Agung Julius Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Zhe Xu 0005, Calin Belta, Agung Julius Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. Search on Bibsonomy ADHS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #73 of 73 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license