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

Credit assignment for trained neural networks based on Koopman operator theory.

Z. Liang, C. Zhao, W. Liu, B. Xue, W. Yang, and Z. Pang. Frontiers Comput. Sci., 18 (1): 181324 (February 2024)

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.

Liu Liu

Keetsin Liu

Ching Liu

Other publications of authors with the same name

无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System).B. Liu, W. Liu, X. Mao, and W. Dong. 计算机科学, 44 (4): 72-74 (2017)Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.Y. Zhang, W. Liu, Z. Chen, J. Wang, Z. Liu, K. Li, H. Wei, and Z. Chen. CoRR, (2020)Optimizing Monitor Code Based on Patterns in Runtime Verification.G. Zhou, W. Dong, W. Liu, H. Shi, C. Hu, and L. Yin. QRS Companion, page 348-354. IEEE, (2017)Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.R. Feng, E. Acar, Y. Wang, W. Liu, S. Schlobach, and W. Ding. Inf. Sci., (2022)Toward a Clustering-Based Approach for Self-Adjusting Impact Factors in Robotic Control Model.Y. Huang, X. Mao, W. Liu, S. Yang, and S. Wang. IEEE Access, (2019)Credit assignment for trained neural networks based on Koopman operator theory.Z. Liang, C. Zhao, W. Liu, B. Xue, W. Yang, and Z. Pang. Frontiers Comput. Sci., 18 (1): 181324 (February 2024)Reach-avoid Verification Based on Convex Optimization.B. Xue, N. Zhan, M. Fränzle, J. Wang, and W. Liu. CoRR, (2022)Verifying Safety of Neural Networks from Topological Perspectives.Z. Liang, D. Ren, B. Xue, J. Wang, W. Yang, and W. Liu. CoRR, (2023)Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems.R. Li, H. Shi, W. Liu, and W. Dong. APSEC, page 109-118. IEEE, (2020)Symbolic Model Checking APSL.W. Liu, J. Wang, H. Chen, and X. Ma. TASE, page 39-46. IEEE Computer Society, (2008)

BibSonomy

Disambiguation of "Liu, Wanwei"

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

Credit assignment for trained neural networks based on Koopman operator theory.

Please choose a person to relate this publication to

Liu Liu

Liu Liu

Liu Liu

Keetsin Liu

Ching Liu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Liu, Wanwei"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Credit assignment for trained neural networks based on Koopman operator theory.

Please choose a person to relate this publication to

Liu Liu

Liu Liu

Liu Liu

Keetsin Liu

Ching 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

Credit assignment for trained neural networks based on Koopman operator theory.