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

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.

J. Wang, J. Sun, Q. Yuan, and J. Pang. FASE, volume 10202 of Lecture Notes in Computer Science, page 3-21. Springer, (2017)

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 Wang University of Stuttgart

Dr. Dongren Wang University of Stuttgart

Dr. rer. nat. Lei Wang University of Stuttgart

Yi Wang University of Stuttgart

Yao Wang University of Stuttgart

Other publications of authors with the same name

Synchronizability and Navigability of Small-World Networks Generated by One Dimensional Kleinberg Model.J. Wang, C. Xu, and J. Feng. Web Intelligence, page 679-683. IEEE Computer Society, (2012)Improving Probability Estimation Through Active Probabilistic Model Learning.J. Wang, X. Chen, J. Sun, and S. Qin. ICFEM, volume 10610 of Lecture Notes in Computer Science, page 379-395. Springer, (2017)Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing.J. Wang, G. Dong, J. Sun, X. Wang, and P. Zhang. CoRR, (2018)Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing.J. Wang, J. Sun, P. Zhang, and X. Wang. CoRR, (2018)Stabilization of Linear Systems by Sampled-Data Feedback Control Subject to Markovian Jumping.H. Gong, and J. Wang. ISIE, page 633-636. IEEE, (2018)Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.J. Wang, J. Sun, Q. Yuan, and J. Pang. FASE, volume 10202 of Lecture Notes in Computer Science, page 3-21. Springer, (2017)Learning Likely Invariants to Explain Why a Program Fails.L. Pham, J. Sun, L. Thi, J. Wang, and X. Peng. ICECCS, page 70-79. IEEE Computer Society, (2017)Graph regularization weighted nonnegative matrix factorization for link prediction in weighted complex network.G. Chen, C. Xu, J. Wang, J. Feng, and J. Feng. Neurocomputing, (2019)Towards Accurate and Interpretable Sequential Prediction: A CNN & Attention-Based Feature Extractor.J. Wang, Q. Liu, Z. Liu, and S. Wu. CIKM, page 1703-1712. ACM, (2019)Quasi-Synchronization of Coupled Nonlinear Memristive Neural Networks With Time Delays by Pinning Control.J. Feng, S. Chen, J. Wang, and Y. Zhao. IEEE Access, (2018)

PUMA

Disambiguation of "Wang, Jingyi"

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

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.

Please choose a person to relate this publication to

Zhe Wang University of Stuttgart

Dr. Dongren Wang University of Stuttgart

Dr. rer. nat. Lei Wang University of Stuttgart

Yi Wang University of Stuttgart

Yao Wang University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Wang, Jingyi"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.

Please choose a person to relate this publication to

Zhe Wang University of Stuttgart

Dr. Dongren Wang University of Stuttgart

Dr. rer. nat. Lei Wang University of Stuttgart

Yi Wang University of Stuttgart

Yao Wang University of Stuttgart

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

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.