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 Contract Invariants Using Reinforcement Learning.

J. Liu, Y. Chen, B. Tan, I. Dillig, and Y. Feng. ASE, page 63:1-63:11. ACM, (2022)

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.

Junrui Duan

Liu Liu

Kang Liu

Other publications of authors with the same name

A High Reliable Multi-cluster Computing Platform Based on the B/S Mode.X. Zeng, F. Ping, J. Liu, Y. Lei, and J. Kang. PDPTA, page 294-300. CSREA Press, (2005)Learning Contract Invariants Using Reinforcement Learning.J. Liu, Y. Chen, B. Tan, I. Dillig, and Y. Feng. ASE, page 63:1-63:11. ACM, (2022)Dual-Channel Improved ShuffleNet (DCISN) for Real-time Violence Detection.J. Liu, R. Zhao, X. Zhao, and D. Wang. ICIGP, page 142-147. ACM, (2023)A Two-tier Shared Embedding Method for Review-based Recommender Systems.Z. Yang, J. Liu, T. Li, D. Wu, S. Yang, and H. Liu. CIKM, page 2928-2938. ACM, (2023)A study of HTTP/2's Server Push Performance Potential.R. Meireles, J. Liu, and P. Steenkiste. CoRR, (2022)Spectral-Spatial Hyperspectral Image Classification Using Dual-Channel Capsule Networks.X. Jiang, W. Liu, Y. Zhang, J. Liu, S. Li, and J. Lin. IEEE Geosci. Remote. Sens. Lett., 18 (6): 1094-1098 (2021)Maximum simplex volume: an efficient unsupervised band selection method for hyperspectral image.X. Jiang, L. Zhang, J. Liu, and S. Li. IET Comput. Vis., 13 (2): 233-239 (2019)Tree traversal synthesis using domain-specific symbolic compilation.Y. Chen, J. Liu, Y. Feng, and R. Bodík. ASPLOS, page 1030-1042. ACM, (2022)SPR: Similarity pairwise ranking for personalized recommendation.J. Liu, Z. Yang, T. Li, D. Wu, and R. Wang. Knowl. Based Syst., (2022)Hyperspectral Image Classification With CapsNet and Markov Random Fields.X. Jiang, Y. Zhang, W. Liu, J. Gao, J. Liu, Y. Zhang, and J. Lin. IEEE Access, (2020)

BibSonomy

Disambiguation of "Liu, Junrui"

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 Contract Invariants Using Reinforcement Learning.

Please choose a person to relate this publication to

Junrui Duan

Liu Liu

Liu Liu

Liu Liu

Kang Liu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Liu, Junrui"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Learning Contract Invariants Using Reinforcement Learning.

Please choose a person to relate this publication to

Junrui Duan

Liu Liu

Liu Liu

Liu Liu

Kang Liu

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 Contract Invariants Using Reinforcement Learning.