Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.

J. Gaglione, D. Neider, R. Roy, U. Topcu, and Z. Xu. CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhe Xu

Xu Xu

Zhe Wang

Zhe Zhang

Other publications of authors with the same name

Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots.Z. Xu, S. Saha, B. Hu, S. Mishra, and A. Julius. IEEE Trans Autom. Sci. Eng., 16 (1): 459-477 (2019)Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage.Z. Xu, A. Julius, and J. Chow. IEEE Syst. J., 12 (4): 3063-3074 (2018)Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems.Z. Xu, and A. Julius. IEEE Syst. J., 13 (3): 3010-3021 (2019)A two-stage approach with softmax scoring mechanism for a multi-project scheduling problem sharing multi-skilled staff.Y. Yu, Z. Xu, D. Liu, and S. Zhao. Expert Syst. Appl., (2022)Learn2Reg: Comprehensive Multi-Task Medical Image Registration Challenge, Dataset and Evaluation in the Era of Deep Learning.A. Hering, L. Hansen, T. Mok, A. Chung, H. Siebert, S. Häger, A. Lange, S. Kuckertz, S. Heldmann, W. Shao and 43 other author(s). IEEE Trans. Medical Imaging, 42 (3): 697-712 (March 2023)Neuroimaging-ITM: A Text Mining Pipeline Combining Deep Adversarial Learning with Interaction Based Topic Modeling for Enabling the FAIR Neuroimaging Study.J. Yan, L. Chen, Y. Yu, H. Xu, Z. Xu, Y. Sheng, and J. Chen. Neuroinformatics, 20 (3): 701-726 (2022)A Fast Pseudo Stochastic Sequence Quantification Algorithm Based on Chebyshev Map and Its Application in Data Encryption.C. Fu, P. rong Wang, X. min Ma, Z. Xu, and W. yong Zhu. International Conference on Computational Science (1), volume 3991 of Lecture Notes in Computer Science, page 826-829. Springer, (2006)Unsupervised domain adaptation of dynamic extension networks based on class decision boundaries.Y. Chen, D. Wang, D. Zhu, Z. Xu, and B. He. Multim. Syst., 30 (2): 80 (April 2024)Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications.Z. Xu, F. Zegers, N. Baharisangari, B. Wu, A. Phillips, W. Dixon, and U. Topcu. IEEE Access, (2023)A Two-Stage Algorithm Based on 12 Priority Rules for the Stochastic Distributed Resource-Constrained Multi-Project Scheduling Problem With Multi-Skilled Staff.Y. Yu, Z. Xu, and S. Zhao. IEEE Access, (2023)

BibSonomy

Disambiguation of "Xu, Zhe"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.

Please choose a person to relate this publication to

Zhe Xu

Zhe Xu

Xu Xu

Zhe Wang

Zhe Zhang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Xu, Zhe"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.

Please choose a person to relate this publication to

Zhe Xu

Zhe Xu

Xu Xu

Zhe Wang

Zhe Zhang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.