![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Zhe Xu 0005
Person information
- affiliation: Arizona State University, Tempe, AZ, USA
- affiliation (former): Rensselaer Polytechnic Institute, Department of Electrical, Computer, and Systems Engineering, Troy, NY, USA
Other persons with the same name
- Zhe Xu — disambiguation page
- Zhe Xu 0001 — University of Texas at Dallas, Department of Computer Science, Richardson, TX, USA
- Zhe Xu 0002 — University of Washington, Department of Computer Science and Engineering, USA
- Zhe Xu 0003
— Shanghai Jiao Tong University, Cooperative Medianet Innovation Center / Shanghai Key Laboratory of Multimedia Processing and Transmissions, China
- Zhe Xu 0004
— Beijing Institute of Technology, Intelligent Robotics Institute, School of Mechatronical Engineering, China
- Zhe Xu 0006 — Bournemouth University, Poole, UK
- Zhe Xu 0007
— University of Illinois Urbana-Champaign, Urbana, IL, USA
- Zhe Xu 0008
— City University of Hong Kong, Department of Electrical Engineering, Hong Kong
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j18]Ren Wang
, Zhe Xu
, Alfred O. Hero III:
Multi-Trigger-Key: Toward Multi-Task Privacy Preserving in Deep Learning. IEEE Access 12: 16939-16950 (2024) - [j17]Jueming Hu
, Zhe Xu
, Weichang Wang, Guannan Qu, Yutian Pang
, Yongming Liu
:
Decentralized graph-based multi-agent reinforcement learning using reward machines. Neurocomputing 564: 126974 (2024) - [j16]Xiaoming Duan
, Zhe Xu
, Rui Yan
, Ufuk Topcu
:
Privacy-Utility Tradeoffs Against Limited Adversaries. IEEE Trans. Autom. Control. 69(1): 519-526 (2024) - [j15]Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu:
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. IEEE Trans. Intell. Veh. 9(5): 4845-4860 (2024) - [c35]Jan Corazza, Hadi Partovi Aria, Daniel Neider, Zhe Xu:
Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment. CLeaR 2024: 643-664 - [c34]Shayan Meshkat Alsadat, Nasim Baharisangari, Zhe Xu:
Distributed on-the-fly control of multi-agent systems with unknown dynamics: Using limited data to obtain near-optimal control. L4DC 2024: 1440-1451 - [c33]Lei Zhang, Mukesh Ghimire, Zhe Xu, Wenlong Zhang, Yi Ren:
Pontryagin neural operator for solving general-sum differential games with parametric state constraints. L4DC 2024: 1728-1740 - [i48]Lei Zhang, Mukesh Ghimire, Zhe Xu, Wenlong Zhang, Yi Ren:
Pontryagin Neural Operator for Solving Parametric General-Sum Differential Games. CoRR abs/2401.01502 (2024) - [i47]Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu:
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. CoRR abs/2402.07069 (2024) - [i46]Mukesh Ghimire, Lei Zhang, Zhe Xu, Yi Ren:
State-Constrained Zero-Sum Differential Games with One-Sided Information. CoRR abs/2403.02741 (2024) - 2023
- [j14]Zhe Xu
, Federico M. Zegers
, Nasim Baharisangari
, Bo Wu
, Alexander J. Phillips, Warren E. Dixon
, Ufuk Topcu
:
Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. IEEE Access 11: 91324-91335 (2023) - [j13]Runhan Sun, Suda Bharadwaj, Zhe Xu, Ufuk Topcu, Warren E. Dixon
:
Reactive synthesis for relay-explorer consensus with intermittent communication. Autom. 154: 111075 (2023) - [j12]Bo Wu
, Murat Cubuktepe
, Franck Djeumou
, Zhe Xu
, Ufuk Topcu
:
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. IEEE Trans. Autom. Control. 68(1): 532-539 (2023) - [j11]Franck Djeumou
, Zhe Xu
, Murat Cubuktepe
, Ufuk Topcu
:
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. IEEE Trans. Autom. Control. 68(4): 2245-2260 (2023) - [c32]Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu:
Learning Interpretable Temporal Properties from Positive Examples Only. AAAI 2023: 6507-6515 - [c31]Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu:
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE 2023: 123-140 - [c30]Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu:
Reinforcement Learning with Reward Machines in Stochastic Games. ECAI 2023: 1068-1075 - [c29]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Control. ECC 2023: 1-6 - [c28]Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren:
Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games. ICRA 2023: 3022-3028 - [i45]Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu:
Reinforcement Learning With Reward Machines in Stochastic Games. CoRR abs/2305.17372 (2023) - [i44]Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong:
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference. CoRR abs/2306.09966 (2023) - [i43]Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu:
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR abs/2306.13732 (2023) - [i42]Mukesh Ghimire, Lei Zhang, Wenlong Zhang, Yi Ren, Zhe Xu:
Solving Two-Player General-Sum Games Between Swarms. CoRR abs/2310.01682 (2023) - [i41]Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren:
Value Approximation for Two-Player General-Sum Differential Games with State Constraints. CoRR abs/2311.16520 (2023) - 2022
- [j10]Nasim Baharisangari
, Kazuma Hirota
, Ruixuan Yan
, Agung Julius
, Zhe Xu
:
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. IEEE Control. Syst. Lett. 6: 2096-2101 (2022) - [j9]Jean-Raphaël Gaglione
, Daniel Neider
, Rajarshi Roy
, Ufuk Topcu, Zhe Xu
:
MaxSAT-based temporal logic inference from noisy data. Innov. Syst. Softw. Eng. 18(3): 427-442 (2022) - [j8]Bo Wu
, Steven Carr
, Suda Bharadwaj
, Zhe Xu
, Ufuk Topcu
:
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. IEEE Trans. Autom. Control. 67(7): 3243-3258 (2022) - [c27]Sunny Amatya, Mukesh Ghimire, Yi Ren, Zhe Xu, Wenlong Zhang:
When Shall I Estimate Your Intent? Costs and Benefits of Intent Inference in Multi-Agent Interactions. ACC 2022: 586-592 - [c26]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. AAMAS 2022: 1747-1749 - [i40]Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu:
Hierarchical Control for Multi-Agent Autonomous Racing. CoRR abs/2202.12861 (2022) - [i39]Rishabh Saumil Thakkar, Aryaman Singh Samyal
, David Fridovich-Keil, Zhe Xu, Ufuk Topcu:
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. CoRR abs/2204.13070 (2022) - [i38]Lei Zhang, Mukesh Ghimire, Wenlong Zhang, Zhe Xu, Yi Ren:
Approximating Discontinuous Nash Equilibrial Values of Two-Player General-Sum Differential Games. CoRR abs/2207.01773 (2022) - [i37]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Formation Control. CoRR abs/2207.08288 (2022) - [i36]Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider
, Zhe Xu, Ufuk Topcu:
Learning Interpretable Temporal Properties from Positive Examples Only. CoRR abs/2209.02650 (2022) - [i35]Nasim Baharisangari, Zhe Xu:
Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. CoRR abs/2210.01759 (2022) - [i34]Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider
, Zhe Xu, Ufuk Topcu:
Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR abs/2212.00916 (2022) - 2021
- [j7]Murat Cubuktepe
, Zhe Xu
, Ufuk Topcu
:
Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. 8(4): 1799-1810 (2021) - [c25]Zhe Xu, Yuxin Chen, Ufuk Topcu:
Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners. AAAI 2021: 5061-5068 - [c24]Daniel Neider
, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu:
Advice-Guided Reinforcement Learning in a non-Markovian Environment. AAAI 2021: 9073-9080 - [c23]Ren Wang, Tianqi Chen, Zhe Xu, Pengzhi Gao:
Robust Low-Rank Tensor Recovery From Quantized and Corrupted Measurements. ACSCC 2021: 1656-1660 - [c22]Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu:
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. AAMAS 2021: 934-942 - [c21]Jean-Raphaël Gaglione, Daniel Neider
, Rajarshi Roy, Ufuk Topcu, Zhe Xu:
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA 2021: 74-90 - [c20]Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis
, Ufuk Topcu, Warren E. Dixon
:
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. CDC 2021: 1263-1268 - [c19]Zhe Xu, Xiaoming Duan:
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic. CDC 2021: 2830-2835 - [c18]Zhe Xu, Yichen Zhang
:
Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. CDC 2021: 3519-3524 - [c17]Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider
, Ufuk Topcu:
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CD-MAKE 2021: 115-135 - [c16]Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider
, Ufuk Topcu, Zhe Xu:
Uncertainty-Aware Signal Temporal Logic Inference. VSTTE 2021: 61-85 - [i33]Zhe Xu, Xiaoming Duan:
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic. CoRR abs/2103.14262 (2021) - [i32]Zhe Xu, Yichen Zhang:
Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. CoRR abs/2103.14264 (2021) - [i31]Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon:
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. CoRR abs/2104.02547 (2021) - [i30]Zhe Xu, Federico M. Zegers, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu:
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. CoRR abs/2104.08329 (2021) - [i29]Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu:
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. CoRR abs/2104.15083 (2021) - [i28]Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu:
Uncertainty-Aware Signal Temporal logic. CoRR abs/2105.11545 (2021) - [i27]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications. CoRR abs/2106.13498 (2021) - [i26]Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu:
Privacy-Utility Trade-Offs Against Limited Adversaries. CoRR abs/2106.14643 (2021) - [i25]Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu:
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. CoRR abs/2106.15729 (2021) - [i24]Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu:
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. CoRR abs/2109.08078 (2021) - [i23]Jueming Hu, Zhe Xu, Weichang Wang, Guannan Qu, Yutian Pang, Yongming Liu:
Decentralized Graph-Based Multi-Agent Reinforcement Learning Using Reward Machines. CoRR abs/2110.00096 (2021) - [i22]Ren Wang, Zhe Xu, Alfred O. Hero III:
Multi-Trigger-Key: Towards Multi-Task Privacy Preserving In Deep Learning. CoRR abs/2110.03106 (2021) - [i21]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. CoRR abs/2110.05125 (2021) - 2020
- [c15]Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu:
Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS 2020: 590-598 - [c14]Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
:
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC 2020: 1483-1488 - [c13]Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu
:
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. ACC 2020: 4745-4750 - [c12]Murat Cubuktepe, Zhe Xu, Ufuk Topcu:
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. AAMAS 2020: 267-275 - [c11]Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
:
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CDC 2020: 1932-1938 - [c10]Franck Djeumou, Zhe Xu, Ufuk Topcu:
Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications. Robotics: Science and Systems 2020 - [i20]Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu
, Ufuk Topcu:
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. CoRR abs/2001.00835 (2020) - [i19]Murat Cubuktepe, Zhe Xu, Ufuk Topcu:
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. CoRR abs/2001.09066 (2020) - [i18]Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu:
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CoRR abs/2001.09227 (2020) - [i17]Zhe Xu
, Yuxin Chen, Ufuk Topcu:
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences. CoRR abs/2001.09956 (2020) - [i16]Zhe Xu
, Yi Deng, Agung Julius:
Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties. CoRR abs/2004.02018 (2020) - [i15]Zhe Xu
:
Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems. CoRR abs/2004.02041 (2020) - [i14]Murat Cubuktepe, Zhe Xu
, Ufuk Topcu:
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. CoRR abs/2006.14947 (2020) - [i13]Zhe Xu
, Bo Wu, Daniel Neider, Ufuk Topcu:
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CoRR abs/2006.15714 (2020) - [i12]Cyrus Neary, Zhe Xu
, Bo Wu, Ufuk Topcu:
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2007.01962 (2020) - [i11]Zhe Xu
, Bo Wu, Ufuk Topcu:
Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. CoRR abs/2007.15114 (2020) - [i10]Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu
, Ufuk Topcu:
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR abs/2008.00164 (2020)
2010 – 2019
- 2019
- [j6]Ruixuan Yan
, Zhe Xu
, Agung Julius
:
Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis. IEEE Robotics Autom. Lett. 4(3): 3021-3028 (2019) - [j5]Zhe Xu
, Agung Julius, Joe H. Chow
:
Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications. IEEE Syst. J. 13(1): 748-759 (2019) - [j4]Zhe Xu
, A. Agung Julius:
Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems. IEEE Syst. J. 13(3): 3010-3021 (2019) - [j3]Zhe Xu
, Sayan Saha
, Botao Hu
, Sandipan Mishra
, A. Agung Julius
:
Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots. IEEE Trans Autom. Sci. Eng. 16(1): 459-477 (2019) - [c9]Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon
, Ufuk Topcu
:
Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach. Allerton 2019: 1015-1022 - [c8]Zhe Xu
, Melkior Ornik, A. Agung Julius, Ufuk Topcu
:
Information-Guided Temporal Logic Inference with Prior Knowledge. ACC 2019: 1891-1897 - [c7]Zhe Xu
, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
:
Graph Temporal Logic Inference for Classification and Identification. CDC 2019: 4761-4768 - [c6]Zhe Xu, Ufuk Topcu
:
Transfer of Temporal Logic Formulas in Reinforcement Learning. IJCAI 2019: 4010-4018 - [i9]Zhe Xu
, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu:
Graph Temporal Logic Inference for Classification and Identification. CoRR abs/1903.09714 (2019) - [i8]Zhe Xu
, Ufuk Topcu:
Transfer of Temporal Logic Formulas in Reinforcement Learning. CoRR abs/1909.04256 (2019) - [i7]Zhe Xu
, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu:
Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR abs/1909.05912 (2019) - [i6]Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu:
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach. CoRR abs/1909.09939 (2019) - [i5]Zhe Xu
, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu:
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. CoRR abs/1909.13294 (2019) - [i4]Michael Hibbard, Yagiz Savas, Zhe Xu
, Ufuk Topcu:
Minimizing the Information Leakage Regarding High-Level Task Specifications. CoRR abs/1911.09889 (2019) - [i3]Zhe Xu
, 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. CoRR abs/1911.11347 (2019) - 2018
- [j2]Zhe Xu
, A. Agung Julius, Joe H. Chow
:
Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage. IEEE Syst. J. 12(4): 3063-3074 (2018) - [j1]Zhe Xu
, A. Agung Julius:
Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis. IEEE Trans Autom. Sci. Eng. 15(1): 264-277 (2018) - [c5]Zhe Xu, Yi Deng, Agung Julius:
Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings. ACC 2018: 610-615 - [c4]Zhe Xu
, Agung Julius, Joe H. Chow:
Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications. ACC 2018: 1580-1585 - [i2]Zhe Xu
, Melkior Ornik, A. Agung Julius, Ufuk Topcu:
Information-Guided Temporal Logic Inference with Prior Knowledge. CoRR abs/1811.08846 (2018) - 2017
- [c3]Zhe Xu
, Agung Julius, Joe H. Chow:
Optimal energy storage control for frequency regulation under temporal logic specifications. ACC 2017: 1874-1879 - [c2]Zhe Xu
, Sayan Saha, Agung Julius:
Provably correct design of observations for fault detection with privacy preservation. CDC 2017: 5620-5625 - 2016
- [i1]Zhe Xu
, Agung Julius:
Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis. CoRR abs/1610.05612 (2016) - 2015
- [c1]Zhe Xu
, Calin Belta, Agung Julius:
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. ADHS 2015: 141-146
Coauthor Index
aka: Agung Julius
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 19:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint